∫ Утверждение Mathlib
ratCast_lt
Mathlib.Tactic.Rify
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Rify.ratCast_lt
∫ Утверждение Mathlib
Mathlib.Tactic.Rify
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Rify.ratCast_lt