Def category_theory.transfer_nat_trans_self_symm_of_iso

Modification history