Theorem Continuous.quotient_map'
Modification history
2024-06-19 12:59
Mathlib/Topology/Constructions.lean
chore: replace `continuity` by `fun_prop`, easy cases (#13880) …
Modified Continuous.quotient_map'View on Github →2024-01-25 09:21
Mathlib/Topology/Constructions.lean
chore(Topology/Constructions): rename most type variables (#9863) …
Modified Continuous.quotient_map'View on Github →