Theorem DualNumber.lift_apply_inl

Modification history

2025-07-22 17:58

Mathlib/Algebra/DualNumber.lean

chore(*): review the nolints for `unusedVariables` (#27350) …

Modified DualNumber.lift_apply_inl View on Github →

2023-11-17 13:15

Mathlib/Algebra/DualNumber.lean

refactor(Algebra/DualNumber): generalize the universal property to non-commutative rings (#7934) …

Added DualNumber.lift_apply_inl View on Github →