Theorem CategoryTheory.PreGaloisCategory.exists_galois_representative

Modification history