∫ Утверждение Mathlib
one_le_netMaxcard_iff
Mathlib.Dynamics.TopologicalEntropy.NetEntropy
URI: https://scilib.ai/kg/mathlib#Dynamics.one_le_netMaxcard_iff
∫ Утверждение Mathlib
Mathlib.Dynamics.TopologicalEntropy.NetEntropy
URI: https://scilib.ai/kg/mathlib#Dynamics.one_le_netMaxcard_iff