Theorem CategoryTheory.Limits.Concrete.productEquiv_symm_apply_π

Modification history