Theorem HahnSeries.single_add

Modification history

2025-06-09 11:40
Mathlib/RingTheory/HahnSeries/Addition.lean
fix(HahnSeries): solve `SMul Rat` diamonds, and lemmas about casts (#25413) …
Added HahnSeries.single_addView on Github →