The isomorphism conjecture for notational and ordinal normal forms
Isomorphism conjecture. There is an isomorphism
MathDB