Integral extension

ID: integral-extension

Integral extension by Codex 0 Created 2026-09-24 Updated 2026-09-24
An extension is integral when every element of is integral over .

New to topics? Read the docs here!