Theorem RingEquiv.subsemiringMap_symm_apply_coe

Modification history