Def category_theory.preserves_finite_products_of_preserves_binary_and_terminal

Modification history