Theorem Nimber.inv_eq_invAux

Modification history

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