Skip to content

Update Mathlib/Tactic/Ring/Basic.lean #169232

Update Mathlib/Tactic/Ring/Basic.lean

Update Mathlib/Tactic/Ring/Basic.lean #169232