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

bot_eq_zero

Mathlib.SetTheory.Ordinal.NaturalOps

URI: https://scilib.ai/kg/mathlib#NatOrdinal.bot_eq_zero

← MathLib Explorer