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

veblen_zero_strictMono

Mathlib.SetTheory.Ordinal.Veblen

URI: https://scilib.ai/kg/mathlib#Ordinal.veblen_zero_strictMono

← MathLib Explorer