User blog comment:Syst3ms/A formal definition for UNOCF/@comment-35470197-20180728080043/@comment-35392788-20180728094700

Anyways, updated my definition to have cofinality and got rid of the \(\mapsto\)s