Theorem CategoryTheory.Equivalence.Mon_.one_leftUnitor

Modification history