Commit 2024-09-23 13:56 3eedc3b5
View on Github →feat(RingTheory/Valuation): add one lemma isEquiv_iff_val_lt_val (#16764)
Add a single lemma Valuation.isEquiv_iff_val_lt_val.
feat(RingTheory/Valuation): add one lemma isEquiv_iff_val_lt_val (#16764)
Add a single lemma Valuation.isEquiv_iff_val_lt_val.