bit 📖 | CompOp | 54 mathmath: land_bit, bodd_bit, fast_fib_aux_bit_ff, div2_bit, bit_add, bitCasesOn_bit, bit_eq_zero_iff, log_two_bit, bit_decomp, bitwise_of_ne_zero, bit_true, Int.bit_negSucc, bit_true_apply, bit_bodd_div2, lor_bit, xor_bit, bit_mod_two_eq_one_iff, bit_mod_two, PosNum.bit_to_nat, fast_fib_aux_bit_tt, binaryRecFromOne_eq, Int.bit_coe_nat, Num.ofNat'_bit, size_bit, bit_false, bit_le, bits_append_bit, fastFibAux_bit_false, bit_div_two, Num.bit_to_nat, bit_decide_mod_two_eq_one_shiftRight_one, testBit_bit_zero, testBit_bit_succ, bit_val, binaryRec_of_ne_zero, bitwise_bit', bit_false_zero, bit_false_apply, bitwise_eq_binaryRec, bit_lt_bit, bit_lt_two_pow_succ_iff, bit_mod_two_eq_zero_iff, bit_shiftRight_one, bit_testBit_zero_shiftRight_one, bit_add', binaryRec'_eq, bitIndices_bit_true, fastFibAux_bit_true, ldiff_bit, bitIndices_bit_false, Equiv.boolProdNatEquivNat_apply, binaryRec_eq, bit_zero, bitwise_bit
|