Theorem RingEquiv.subsemiringMap_apply_coe

Modification history