Theorem CategoryTheory.CartesianMonoidalCategory.inv_prodComparison_map_snd

Modification history