Mathlib Changelog
v4
Changelog
About
Github
Theorem
FiberBundle.isQuotientMap_proj
Modification history
2024-10-23 02:43
Mathlib/Topology/FiberBundle/Basic.lean
chore: Rename `QuotientMap` to `IsQuotientMap` (#18062) …
Added
FiberBundle.isQuotientMap_proj
View on Github →