Def category_theory.regular_of_is_pushout_fst_of_regular

Modification history