Theorem CategoryTheory.MonoidalOfChosenFiniteProducts.rightUnitor_naturality

Modification history