Theorem CategoryTheory.PreGaloisCategory.exists_lift_of_mono

Modification history