mk_num_ne_zero_of_ne_zero — Mathlib · SciLib

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

mk_num_ne_zero_of_ne_zero

Mathlib.Data.Rat.Defs

URI: https://scilib.ai/kg/mathlib#Rat.mk_num_ne_zero_of_ne_zero

← MathLib Explorer