Theorem LocalEquiv.symm_image_target_inter_eq'

Modification history

2023-12-13 09:43

Mathlib/Logic/Equiv/PartialEquiv.lean

chore: rename LocalEquiv to PartialEquiv (#8984) …

Deleted LocalEquiv.symm_image_target_inter_eq'View on Github →

2023-01-06 13:58

Mathlib/Logic/Equiv/LocalEquiv.lean

feat port: Logic.Equiv.LocalEquiv (#1052) …

Added LocalEquiv.symm_image_target_inter_eq'View on Github →