num_eq_zero_iff — Mathlib · SciLib

∫ Утверждение Mathlib

num_eq_zero_iff

Mathlib.FieldTheory.RatFunc.Basic

URI: https://scilib.ai/kg/mathlib#RatFunc.num_eq_zero_iff

← MathLib Explorer