Theorem CategoryTheory.Equivalence.Mon_.one_rightUnitor

Modification history