Theorem Mathlib.Tactic.Ring.one_pow

Modification history