Theorem PNat.mk_bit0

Modification history