Theorem Cardinal.preAleph_le_preBeth

Modification history