Ordinals Cardinals

swMATH28914MaRDI QIDQ40628FDOQ40628

Author name not available (Why is that?)

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

Cited In (7)

• Cardinals in Isabelle/HOL
• Quotients of Bounded Natural Functors
• Monomorphic Monad
• Countable Ordinals
• Free Groups
• wellorder
• Regex_Equivalence

This page was built for software: Ordinals Cardinals