Theorem CategoryTheory.PreGaloisCategory.endEquivAutGalois_π

Modification history