Theorem CategoryTheory.PreGaloisCategory.continuous_mapAut_whiskeringRight

Modification history