Def CategoryTheory.prod.associator

Modification history