Def category_theory.nat_trans.left_derived

Modification history