Commit 2025-06-23 08:19 21f16b8e
View on Github →feat(FieldTheory/IntermediateField/Algebraic): Containment of intermediate fields implies divisibility of finrank (#26191)
This PR proves divisibility and inequality of finrank from containment of intermediate fields.