Def category_theory.prod_preserves_connected_limits

Modification history