Theorem Cardinal.powerlt_succ

Modification history