Theorem Stonean.extremallyDisconnected_pullback

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)

Added Stonean.extremallyDisconnected_pullback View on Github →