Theorem Cardinal.aleph0_ne_zero

Modification history