Def category_theory.regular_of_is_pullback_fst_of_regular

Modification history