Theorem Topology.IsOpenMap.isStrictMap

Modification history

2026-07-10 20:06

Mathlib/Topology/Maps/Strict/Basic.lean

feat: more API specific to strict group homs (#41238) …

Deleted Topology.IsOpenMap.isStrictMap View on Github →

2026-04-15 18:36

Mathlib/Topology/Maps/Strict/Basic.lean

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

Added Topology.IsOpenMap.isStrictMap View on Github →