Commit 2025-04-14 15:20 ceade53f

View on Github →

feat(RingTheory/Valuation): add two lemmas about non-units in valuation subrings (#23408) co-authored with María Inés de Frutos Fernández @mariainesdff

Estimated changes