Theorem Cardinal.power_ne_zero

Modification history