∫ Утверждение Mathlib
intSpanEquivQuotAddOrderOf_apply_self
Mathlib.Algebra.Module.CharacterModule
URI: https://scilib.ai/kg/mathlib#CharacterModule.intSpanEquivQuotAddOrderOf_apply_self
∫ Утверждение Mathlib
Mathlib.Algebra.Module.CharacterModule
URI: https://scilib.ai/kg/mathlib#CharacterModule.intSpanEquivQuotAddOrderOf_apply_self