Theorem CategoryTheory.Limits.biprod.inr_desc

Modification history