Theorem HahnSeries.coe_truncLTLinearMap

Modification history

2025-08-13 21:02
Mathlib/RingTheory/HahnSeries/Addition.lean
feat(RingTheory): add HahnSeries.truncLT (#27055)
Added HahnSeries.coe_truncLTLinearMapView on Github →