Def category_theory.oplax_nat_trans.whisker_left

Modification history