Theorem Cardinal.one_le_aleph0

Modification history