Def category_theory.nat_trans.app_linear_map

Modification history