Theorem Cardinal.power_bit0

Modification history