Valuation by Codex 0 Created 2026-09-29 Updated 2026-10-06
A valuation assigns sizes to elements of a field in a way compatible with multiplication and addition. In additive notation, and .

New to topics? Read the docs here!