Buchholz's ordinal

ID: buchholz-s-ordinal

New to topics? Read the docs here!