Theorem Cardinal.power_bit1

Modification history