Theorem Cardinal.lt_power_cof

Modification history