Theorem CategoryTheory.Limits.biprod.lift_snd

Modification history