Theorem CategoryTheory.Limits.biprod.inr_snd

Modification history