Theorem PNat.coe_bit1

Modification history