Theorem Cardinal.isLimit_aleph0

Modification history