Theorem CategoryTheory.PreGaloisCategory.exists_hom_from_galois_of_fiber

Modification history