Theorem PNat.coe_bit0

Modification history