Theorem CategoryTheory.Limits.prod.lift_fst_snd

Modification history