Theorem CategoryTheory.MonoidalCategory.leftUnitor_inv_naturality

Modification history