Theorem Cardinal.aleph'_nat

Modification history