Structure Tactic.Ring.Cache

Modification history

2022-10-13 02:35

Mathlib/Tactic/Ring.lean

feat: add simp frontend for norm_num (#451) …

Deleted Tactic.Ring.Cache View on Github →

2021-08-16 20:42

Mathlib/Tactic/Ring.lean

ring tactic (#33) …

Added Tactic.Ring.Cache View on Github →