Theorem CategoryTheory.PreGaloisCategory.AutGalois.ext

Modification history