Theorem CategoryTheory.tensor_associativity_aux

Modification history