Theorem Mathlib.Tactic.Abel.termg_eq

Modification history