Theorem CategoryTheory.PreGaloisCategory.autGaloisSystem_map_surjective

Modification history