Theorem CategoryTheory.prodComparison_iso

Modification history