Theorem CategoryTheory.NatIso.op_associator

Modification history