Ordinal Partitions

swMATH45172MaRDI QIDQ5973962FDOQ5973962

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Ordinal_Partitions.html

Cited In (2)

• ZFC_in_HOL
• Wetzels_Problem

This page was built for software: Ordinal Partitions