Theorem Mathlib.Tactic.Abel.zero_term

Modification history