Theorem Nimber.invAux_ne_zero

Modification history

2025-02-24 09:31
Mathlib/SetTheory/Nimber/Field.lean
feat(SetTheory/Ordinal/Nimber/Field): Nimber division (#19066) …
Added Nimber.invAux_ne_zeroView on Github →