Commit 2023-09-06 11:21 b1be421a
View on Github →feat: Stonean is projective in Profinite (#6809)
... also moves around some stuff and given an epi f
in Stonean
, Profinite
or CompHaus
, provides instances [Epi f]
in both the other categories.