Theorem CategoryTheory.MonoidalCategory.rightUnitor_tensor_inv

Modification history