Theorem Cardinal.isStrongLimit_aleph0

Modification history