Def category_theory.sieve.galois_insertion_of_is_split_epi

Modification history