Theorem CategoryTheory.NatIso.op_symm

Modification history