Theorem Bitvec.bits_toNat_decide

Modification history