Theorem Mathlib.Tactic.Abel.zsmul_zero

Modification history