Theorem CategoryTheory.Limits.Concrete.prodEquiv_apply_snd

Modification history