Commit 2025-09-16 20:21 cec55104
View on Github →feat(NumberField/IsCM): first results about the action of complexConjugation on units (#26107)
Define the subgroup of real units of a CM field and prove that it is equal to the subgroup of units fixed by the complex conjugation.