Wetzels_Problem

MaRDI QIDQ5974895swMATHFDO

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