Theorem CategoryTheory.PreGaloisCategory.exists_hom_from_galois_of_connected

Modification history