den_mul_eq_num — Mathlib · SciLib

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

den_mul_eq_num

Mathlib.Data.NNRat.Defs

URI: https://scilib.ai/kg/mathlib#NNRat.den_mul_eq_num

← MathLib Explorer