Def Homeomorph.Simps.apply

Modification history

2023-03-08 15:13

Mathlib/Topology/Homeomorph.lean

feat: initialize_simps_projections automatically finds coercions (#2045) …

Deleted Homeomorph.Simps.apply View on Github →

2023-02-02 14:55

Mathlib/Topology/Homeomorph.lean

feat: port Topology.Homeomorph (#2004)

Added Homeomorph.Simps.apply View on Github →