Theorem Cardinal.zero_powerlt

Modification history