Theorem RatFunc.single_one_eq_pow
Modification history
2025-04-24 05:39
Mathlib/RingTheory/LaurentSeries.lean
chore: tidy various files (#24331)
Modified RatFunc.single_one_eq_powView on Github →2025-04-11 17:23
Mathlib/RingTheory/LaurentSeries.lean
feat: generalize rest of Mathlib.RingTheory (#23194) …
Modified RatFunc.single_one_eq_powView on Github →