User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-33713741-20190819125527/@comment-35470197-20190819130233

What do you mean?