instInvolutiveNeg — Mathlib · SciLib

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

instInvolutiveNeg

Mathlib.SetTheory.PGame.Algebra

URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.instInvolutiveNeg

← MathLib Explorer