User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-30754445-20180810102658/@comment-35392788-20180810121124

^ This is me btw, I forgot to sign in