Countable Ordinals

MaRDI QIDQ40627swMATHFDO

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

Cited in

(4)

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

This page was built for software: Countable Ordinals