Theorem Nimber.cons_mem_invSet

Modification history

2025-02-24 09:31

Mathlib/SetTheory/Nimber/Field.lean

feat(SetTheory/Ordinal/Nimber/Field): Nimber division (#19066) …

Added Nimber.cons_mem_invSet View on Github →