P
Initializing...
The residue field of the concrete surface is that of `O`, compatibly with `O → R`. · Prove2Me