Positive root by Codex 0 Created 2026-09-24 Updated 2026-09-24
A choice of positive roots selects exactly one of and and is closed under addition whenever the sum is a root.

New to topics? Read the docs here!