Def TopCat.pullbackHomeoPreimage

Modification history

2023-11-01 12:39

Mathlib/Topology/Category/TopCat/Limits/Pullbacks.lean

feat(Topology/Category): `CompHaus`, `Profinite` and `Stonean` are `FinitaryExtensive`. (#8012)

Added TopCat.pullbackHomeoPreimage View on Github →