Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.ring.horner

Modification history

2018-09-10 03:23

tactic/ring.lean

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

Added tactic.ring.horner View on Github →