Theorem Set.preimage_inter

Modification history

2023-01-06 13:58

test/MfldSetTac.lean

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

Deleted Set.preimage_inter View on Github →

2022-12-12 07:45

Mathlib/Data/Set/Image.lean

feat: Port Data.Set.Image (#949) …

Added Set.preimage_inter View on Github →

2022-09-07 12:54

test/MfldSetTac.lean

feat(Mathlib/Logic/Equiv/LocalEquiv): add the `mfld_set_tac` tactic (#331) …

Added Set.preimage_inter View on Github →