Mathlib v3 is deprecated. Go to Mathlib v4

Def horner

Modification history

2018-09-10 03:23

tactic/ring.lean

feat(tactic/abel): decision procedure for comm groups

Deleted horner View on Github →

2018-01-13 03:25

tactic/ring.lean

feat(tactic/ring): tactic for ring equality

Added horner View on Github →