unsym_sub — Mathlib · SciLib

∫ Утверждение Mathlib

unsym_sub

Mathlib.Algebra.Symmetrized

URI: https://scilib.ai/kg/mathlib#SymAlg.unsym_sub

← MathLib Explorer