Theorem FunctionField.finiteDimensional_of_constantExtension

Modification history

2026-05-06 16:04
Mathlib/NumberTheory/FunctionField.lean
feat(FunctionField): constant extensions are finite (#37388) …
Added FunctionField.finiteDimensional_of_constantExtensionView on Github →