Theorem Mathlib.Tactic.Ring.const_pos

Modification history