∫ Утверждение Mathlib
congr_right
Mathlib.Analysis.Asymptotics.TVS
URI: https://scilib.ai/kg/mathlib#Asymptotics.IsLittleOTVS.congr_right
∫ Утверждение Mathlib
Mathlib.Analysis.Asymptotics.TVS
URI: https://scilib.ai/kg/mathlib#Asymptotics.IsLittleOTVS.congr_right