Theorem Cardinal.isRegular_aleph0

Modification history