Theorem CategoryTheory.Limits.Concrete.prodEquiv_symm_apply_fst

Modification history