Theorem Mathlib.Tactic.Abel.one_zsmul

Modification history