Theorem CategoryTheory.MonoidalOfChosenFiniteProducts.hexagon_reverse

Modification history