Theorem Mathlib.Tactic.Ring.sub_congr

Modification history