Theorem Cardinal.aleph'_omega0

Modification history