... and that the meaning of (let’s say) x1,x2∈R[x1,x2,x3] is that it is the definable operation whose instantiation at any commutative R-algebra A is the function A^3→A taking (a,b,c) to ab.
What the chain says
- Block
- 658 774
- Time
- 2020-10-28T03:04:28Z
- Signer
- 1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#7453
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1F8LZF7xb8a7aSnGV226bXECALFP9u8gsQ Verified