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

Components