Theorem CategoryTheory.Iso.op_symm

Modification history