Theorem Cardinal.aleph'_lt

Modification history