Def CategoryTheory.prod.associativity

Modification history