Theorem CategoryTheory.Equivalence.Mon_.mul_rightUnitor

Modification history