Theorem CategoryTheory.Equivalence.Mon_.mul_leftUnitor

Modification history