Commit 2025-01-07 20:33 b99ac0e0

View on Github →

feat(NumberTheory/NumberField/Embeddings): definition of totally real field (#20542)

Estimated changes