∫ Утверждение Mathlib
term_[⋀^_]→ₗ[_]_
Mathlib.LinearAlgebra.Alternating.Basic
URI: https://scilib.ai/kg/mathlib#term_[⋀^_]→ₗ[_]_
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Alternating.Basic
URI: https://scilib.ai/kg/mathlib#term_[⋀^_]→ₗ[_]_