Def Stonean.two

Modification history

2023-09-06 11:21

Mathlib/Topology/Category/Stonean/EffectiveEpi.lean

feat: Stonean is projective in Profinite (#6809) …

Deleted Stonean.two View on Github →

2023-08-23 08:35

Mathlib/Topology/Category/Stonean/EffectiveEpi.lean

feat: `Stonean` is precoherent (#6725) …

Added Stonean.two View on Github →