Theorem CategoryTheory.PreGaloisCategory.autMulEquivAutGalois_π

Modification history