`O` embeds into any `O`-subring `S` of a field `L` over `K = Frac O`. · Prove2Me

P

Initializing...

`O` embeds into any `O`-subring `S` of a field `L` over `K = Frac O`. · Prove2Me