User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-32994025-20190811194559

How to define OCF and ordinal notation >