Commit 2024-11-09 15:13 42ff2ccb

View on Github →

feat(RingTheory/Valuation/Basic): add map_apply lemmas (#18781)

Estimated changes

added theorem AddValuation.map_apply
added theorem Valuation.map_apply