wellorder

MaRDI QIDQ40626swMATHFDO

Official website https://www.cl.cam.ac.uk/~jrh13/papers/wellorder-library.html

Cited in

(4)

• Cardinals in Isabelle/HOL
• Countable Ordinals
• Free Groups
• Ordinals Cardinals

This page was built for software: wellorder