∫ Утверждение Mathlib
nil
Mathlib.Tactic.Simproc.Factors
URI: https://scilib.ai/kg/mathlib#Mathlib.Meta.Simproc.FactorsHelper.nil
∫ Утверждение Mathlib
Mathlib.Tactic.Simproc.Factors
URI: https://scilib.ai/kg/mathlib#Mathlib.Meta.Simproc.FactorsHelper.nil