Wetzels_Problem

swMATH45174MaRDI QIDQ5974895FDOQ5974895

Author name not available (Why is that?)

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

Cited In (2)

• Ordinal Partitions
• ZFC_in_HOL

This page was built for software: Wetzels_Problem