Commit 2023-08-25 11:15 41aa37ba

View on Github →

feat: Stonean.homeoOfIso and Stonean.isoOfHomeo (#6771) Changes Profinite.homeoOfIso and Profinite.isoOfHomeo to go through CompHaus and adds Stonean.homeoOfIso, Stonean.isoOfHomeo and Stonean.isoEquivHomeo

Estimated changes

modified def Profinite.homeoOfIso
modified def Profinite.isoOfHomeo