Theorem CategoryTheory.Limits.Concrete.productEquiv_apply_apply

Modification history