∫ Утверждение Mathlib
atom_pf'
Mathlib.Tactic.Ring.Basic
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Ring.atom_pf'
∫ Утверждение Mathlib
Mathlib.Tactic.Ring.Basic
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Ring.atom_pf'