Theorem CategoryTheory.Equivalence.Mon_.one_associator

Modification history