Def Mathlib.Tactic.Abel.abelNFTarget

Modification history

2023-06-26 16:40

Mathlib/Tactic/Abel.lean

fix: use the same atom state for `abel_nf` subterms (#5403) …

Modified Mathlib.Tactic.Abel.abelNFTarget View on Github →

2022-11-14 20:37

Mathlib/Tactic/Abel.lean

feat: `abel_nf`, `abel` tactic (#555) …

Added Mathlib.Tactic.Abel.abelNFTarget View on Github →