Theorem DualNumber.range_lift

Modification history

2025-06-04 20:26
Mathlib/Algebra/DualNumber.lean
feat: range of `lift`s (#25276) …
Added DualNumber.range_liftView on Github →