Theorem CategoryTheory.NatIso.op_refl

Modification history