∫ Утверждение Mathlib
ofRat_injective
Mathlib.Algebra.Order.CauSeq.Completion
URI: https://scilib.ai/kg/mathlib#CauSeq.Completion.ofRat_injective
∫ Утверждение Mathlib
Mathlib.Algebra.Order.CauSeq.Completion
URI: https://scilib.ai/kg/mathlib#CauSeq.Completion.ofRat_injective