menu

Return to entry

ZFC_Library
ZFC_in_HOL
ZFC_Cardinals
Kirby
Ordinal_Exp
Cantor_NF
ZFC_Typeclasses
General_Cardinals

ZFC_in_HOL.General_Cardinals

HTML Presentation