Commit 2024-02-23 11:29 23cc9c41

feat: Proof of Hermite theorem on number fields of bounded discriminant (#10030) Let N be an integer. Then there are only finitely many number fields (in some fixed extension of ℚ) of discriminant bounded in absolute value by N.