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.