Theorem CategoryTheory.PreGaloisCategory.AutGalois.π_apply

Modification history