Theorem Cardinal.powerlt_max

Modification history