PR !4#19066: feat(SetTheory/Ordinal/Nimber/Field): Nimber...

Stream: triage

[Random Issue Bot]

Today I chose PR #19066 for discussion!

feat(SetTheory/Ordinal/Nimber/Field): Nimber division
Created by @Violeta Hernández (@vihdzp) on 2024-11-15
Labels: maintainer-merge, t-set-theory

Is this PR still relevant? Any recent updates? Anyone making progress?

[Violeta Hernández]

Still relevant! Only really got stuck due to no one being familiar in the topic :frown: