Def CategoryTheory.OplaxNatTrans.associator

Modification history