Theorem CategoryTheory.Limits.biprod.inr_fst

Modification history