instNeg — Mathlib · SciLib

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

instNeg

Mathlib.Algebra.Symmetrized

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

← MathLib Explorer