The latest version of LargeCardinalHierarchy is 0.0.1-0.
LargeCardinalHierarchy
Version 0.0.0 revision 0 uploaded by Stephen_E_A_Britton.
Package meta
- Synopsis
- A transfinite cardinal arithmetic library including all known large cardinals
- Description
- Author
- Stephen E. A. Britton
- Bug reports
- n/a
- Category
- Math, Maths, Mathematics, Set Theory
- Copyright
- Copyright (c) 2010 Stephen E. A. Britton
- Homepage
- n/a
- Maintainer
- Stephen E. A. Britton
- Package URL
- n/a
- Stability
- n/a