Theorem CategoryTheory.NatIso.unop_associator

Modification history