Theorem Topology.IsStrictMap.continuous

Modification history

2026-04-15 18:36

Mathlib/Topology/Maps/Strict/Basic.lean

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

Added Topology.IsStrictMap.continuous View on Github →