∫ Утверждение Mathlib
logVariation
Mathlib.Util.CountHeartbeats
URI: https://scilib.ai/kg/mathlib#Mathlib.CountHeartbeats.logVariation
∫ Утверждение Mathlib
Mathlib.Util.CountHeartbeats
URI: https://scilib.ai/kg/mathlib#Mathlib.CountHeartbeats.logVariation