Theorem CategoryTheory.Limits.prod.comp_diag

Modification history