Theorem Cardinal.aleph'_le_of_limit

Modification history