Def Stonean.pullback.snd

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.pullback.snd View on Github →

2023-09-06 11:21

Mathlib/Topology/Category/Stonean/Limits.lean

feat: pullbacks in Stonean where one map is an open embedding (#6779) …

Added Stonean.pullback.snd View on Github →