Def category_theory.right_rigid_category_of_equivalence

Modification history