LargeCardinalHierarchy (hackage):   Package maintainers  For package maintainers and hackage trustees  Candidates  
Keywords: library|math|mathematics|maths|set-theory