Def Topology.IsStrictMap

Modification history

2026-04-15 18:36

Mathlib/Topology/Maps/Strict/Basic.lean

feat(Topology/Maps): add Bourbaki strict maps (#36660) …

Added Topology.IsStrictMap View on Github →