Theorem CategoryTheory.Iso.op_refl

Modification history