Def category_theory.symmetric_of_chosen_finite_products

Modification history