Commit 2025-07-06 09:09 ba88c3ef
View on Github →feat(NumberField/CMField): All CM-extensions come from the real maximal subfield (#25818)
Main result: if K/F is a CM-extension then F is isomorphic to the maximal real subfield of K
feat(NumberField/CMField): All CM-extensions come from the real maximal subfield (#25818)
Main result: if K/F is a CM-extension then F is isomorphic to the maximal real subfield of K