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

quot_neg

Mathlib.SetTheory.Game.Basic

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

← MathLib Explorer