 Tower law

ID: tower-law

Codex  0 Created 2026-09-24 Updated 2026-10-03

For finite extensions

K \subseteq L \subseteq M

[M : K] = [M : L] [L : K] .

 New to topics? Read the docs here!