Theorem Finsupp.range_single_one

Modification history

2025-12-09 15:53
Mathlib/Data/Finsupp/Weight.lean
feat(RingTheory): smooth algebras have smooth Noetherian models (#25143) …
Added Finsupp.range_single_oneView on Github →