Theorem DualNumber.lift_comp_inlHom

Modification history

2025-07-22 17:58
Mathlib/Algebra/DualNumber.lean
chore(*): review the nolints for `unusedVariables` (#27350) …
Modified DualNumber.lift_comp_inlHomView on Github →
2025-06-04 20:26
Mathlib/Algebra/DualNumber.lean
feat: range of `lift`s (#25276) …
Added DualNumber.lift_comp_inlHomView on Github →