Def Nimber

Modification history

2026-02-20 00:22

Mathlib/SetTheory/Nimber/Basic.lean

chore: remove deprecated material from CGT (#35550) …

Deleted Nimber View on Github →

2024-09-16 17:23

Mathlib/SetTheory/Ordinal/Nimber.lean

feat(SetTheory/Ordinal/Nimber): Initial development of nimbers (#16088) …

Added Nimber View on Github →