Theorem CategoryTheory.PreGaloisCategory.endMulEquivAutGalois_pi

Modification history