The actual rational function field embeds into each characteristic-zero curve function field compatibly with diamond

Initializing...

The actual rational function field embeds into each characteristic-zero curve function field compatibly with diamond · Prove2Me