Def category_theory.symmetric_of_has_finite_coproducts

Modification history