Def Stonean.createsPullbacksOfOpenEmbedding

Modification history

2024-08-01 04:29

Mathlib/Topology/Category/Stonean/Limits.lean

refactor(Topology/Category): use `CompHausLike` API for limits in `Profinite` and `Stonean` (#15363)

Deleted Stonean.createsPullbacksOfOpenEmbedding View on Github →

2023-11-01 12:39

Mathlib/Topology/Category/Stonean/Limits.lean

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

Added Stonean.createsPullbacksOfOpenEmbedding View on Github →