Def category_theory.presieve.nat_trans_equiv_compatible_family

Modification history