Def category_theory.localization.construction.nat_trans_extension

Modification history