Theorem OrderRingIso.coe_orderIso_refl

Modification history