Theorem CategoryTheory.Limits.prodComparison_comp

Modification history