Theorem Cardinal.power_pos

Modification history