Def CategoryTheory.reassocExprIso

Modification history