Def Nimber.invAux

Modification history

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