Theorem Cardinal.lift_preAleph

Modification history