Theorem CategoryTheory.associator_monoidal_aux

Modification history