Commit 2026-01-04 12:24 3a6fc7c5

View on Github →

feat: generalise Ideal.absNorm_eq_pow_inertiaDeg (#33484) Ideal.absNorm_eq_pow_inertiaDeg can be generalised to non-principal base ideals

Estimated changes