Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat: port SetTheory.Ordinal.Notation (#2470)
Co-authored-by: Arien Malec <arien.malec@gmail.com> Co-authored-by: Moritz Firsching <firsching@google.com> Co-authored-by: Jon Eugster <eugster.jon@gmail.com> Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com> Co-authored-by: Apurva Nakade <apurvnakade@gmail.com> Co-authored-by: Komyyy <pol_tta@outlook.jp>
- Loading branch information