D (Lemmas)
| Files | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Definitions | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Lemmas | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Abbreviations | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Notations |
D (Lemmas)
d0 [prf, in infotheo.probability.fsdist]d0' [prf, in infotheo.probability.fsdist]
d1 [prf, in infotheo.probability.fsdist]
data_processing_inequality [prf, in infotheo.information_theory.entropy]
DDnH2_nonneg [prf, in infotheo.lib.binary_entropy_function]
DDnH2E [prf, in infotheo.lib.binary_entropy_function]
dec_enc [prf, in infotheo.ecc_classic.hamming_code]
decomp_errloc [prf, in infotheo.ecc_classic.poly_decoding]
decomposition [prf, in infotheo.probability.graphoid]
def_var_dist [prf, in infotheo.probability.variation_dist]
derivable1_homo [prf, in infotheo.lib.derive_ext]
derivable1_mono [prf, in infotheo.lib.derive_ext]
derivable_DnH2 [prf, in infotheo.lib.binary_entropy_function]
derivable_ln [prf, in infotheo.lib.realType_ln]
derivable_nH2 [prf, in infotheo.lib.binary_entropy_function]
derivable_pinsker_fun [prf, in infotheo.probability.pinsker]
derivable_pinsker_function_spec [prf, in infotheo.probability.pinsker]
derivable_pt_diff_xlnx [prf, in infotheo.lib.realType_ln]
derivable_xlnx [prf, in infotheo.lib.realType_ln]
derivable_xlnx_delta [prf, in infotheo.lib.realType_ln]
derivable_xlnx_total [prf, in infotheo.lib.realType_ln]
derive1_pinsker_fun [prf, in infotheo.probability.pinsker]
derive1_pinsker_function_spec [prf, in infotheo.probability.pinsker]
derive_diff_xlnx_gt0 [prf, in infotheo.lib.realType_ln]
derive_errloc [prf, in infotheo.ecc_classic.poly_decoding]
derive_pt_diff_xlnx [prf, in infotheo.lib.realType_ln]
derive_pt_xlnx_delta [prf, in infotheo.lib.realType_ln]
derive_xlnxE [prf, in infotheo.lib.realType_ln]
det_B_neq0 [prf, in infotheo.ecc_classic.bch]
det_mlinear [prf, in infotheo.lib.ssralg_ext]
dft0 [prf, in infotheo.lib.dft]
dft_shifting [prf, in infotheo.lib.dft]
dft_syndromep [prf, in infotheo.ecc_classic.poly_decoding]
dftE [prf, in infotheo.lib.dft]
dftK [prf, in infotheo.lib.dft]
dH0x [prf, in infotheo.lib.hamming]
dH_num_occ_opp [prf, in infotheo.ecc_classic.repcode]
dH_sym [prf, in infotheo.lib.hamming]
dH_tri_ine [prf, in infotheo.lib.hamming]
dH_vproj [prf, in infotheo.ecc_classic.linearcode]
dH_wH [prf, in infotheo.lib.hamming]
dHE [prf, in infotheo.lib.hamming]
diff_xlnx_0 [prf, in infotheo.lib.realType_ln]
diff_xlnx_sincreasing_0_Rinv_e2 [prf, in infotheo.lib.realType_ln]
differentiable_ln [prf, in infotheo.lib.realType_ln]
differentiable_Log [prf, in infotheo.lib.realType_ln]
dim_dual_code [prf, in infotheo.ecc_classic.linearcode]
dim_hom_syndrome_ub [prf, in infotheo.ecc_classic.linearcode]
dim_kernel [prf, in infotheo.ecc_classic.linearcode]
dim_RS_code [prf, in infotheo.ecc_classic.reed_solomon]
disjoint_I_false [prf, in infotheo.ecc_modern.degree_profile]
disjoint_Pr_setU [prf, in infotheo.probability.proba]
disjoint_suffixes [prf, in infotheo.information_theory.kraft]
disjoint_Vgraph [prf, in infotheo.ecc_modern.tanner_partition]
disjoint_Vgraph2 [prf, in infotheo.ecc_modern.tanner_partition]
disjointsU1 [prf, in infotheo.ecc_modern.degree_profile]
dist_of_RVE [prf, in infotheo.probability.proba]
distinct_non_zero_rVexp [prf, in infotheo.ecc_classic.poly_decoding]
distribute [prf, in infotheo.probability.convex_stone]
div0P [prf, in infotheo.probability.divergence]
div_diff_ub [prf, in infotheo.probability.divergence]
div_ge0 [prf, in infotheo.probability.divergence]
divide_codeword [prf, in infotheo.ecc_classic.cyclic_code]
divides_lowest_size [prf, in infotheo.ecc_classic.cyclic_code]
divides_Xn_sub_1_is_cyclic [prf, in infotheo.ecc_classic.cyclic_code]
divides_Xn_sub_1_is_linear [prf, in infotheo.ecc_classic.cyclic_code]
divPP [prf, in infotheo.probability.divergence]
DMC.f0 [prf, in infotheo.information_theory.channel]
DMC.f1 [prf, in infotheo.information_theory.channel]
DMC_BSC_prop [prf, in infotheo.information_theory.binary_symmetric_channel]
dmc_cdiv_cond_entropy [prf, in infotheo.information_theory.conditional_divergence]
dmc_cdiv_cond_entropy_aux [prf, in infotheo.information_theory.conditional_divergence]
dmc_exp_cdiv_cond_entropy [prf, in infotheo.information_theory.conditional_divergence]
DMC_sub_vec_Fnext [prf, in infotheo.ecc_modern.ldpc]
DMC_sub_vec_Vgraph [prf, in infotheo.ecc_modern.ldpc]
DMC_sub_vecE [prf, in infotheo.information_theory.channel]
DMCE [prf, in infotheo.information_theory.channel]
DnH2E [prf, in infotheo.lib.binary_entropy_function]
dom_by_cdom_by [prf, in infotheo.information_theory.conditional_divergence]
dom_by_fdist_fst [prf, in infotheo.probability.fdist]
dom_by_fdist_fstN [prf, in infotheo.probability.fdist]
dom_by_fdist_snd [prf, in infotheo.probability.fdist]
dom_by_fdist_sndN [prf, in infotheo.probability.fdist]
dom_by_uniform [prf, in infotheo.probability.fdist]
dom_conv [prf, in infotheo.information_theory.entropy_convex]
dominates_prodl [prf, in infotheo.information_theory.conditional_divergence]
dominates_scale [prf, in infotheo.lib.realType_ext]
dominatesE [prf, in infotheo.lib.realType_ext]
dominatesEN [prf, in infotheo.lib.realType_ext]
dominatesP [prf, in infotheo.probability.fdist]
dominatesP [prf, in infotheo.lib.realType_ext]
dominatesxx [prf, in infotheo.lib.realType_ext]
down_msg_spec [prf, in infotheo.ecc_modern.ldpc_algo_proof]
dproj_freeon [prf, in infotheo.ecc_modern.summary_tanner]
dproj_in [prf, in infotheo.ecc_modern.summary_tanner]
dproj_out [prf, in infotheo.ecc_modern.summary_tanner]
dproj_prop [prf, in infotheo.ecc_modern.summary_tanner]
dprojIdef [prf, in infotheo.ecc_modern.summary_tanner]
dprojs_comb_V [prf, in infotheo.ecc_modern.summary_tanner]
dprojs_in [prf, in infotheo.ecc_modern.summary_tanner]
dprojs_out [prf, in infotheo.ecc_modern.summary_tanner]
dprojs_V2_in [prf, in infotheo.ecc_modern.summary_tanner]
dprojs_V2_pfamily [prf, in infotheo.ecc_modern.summary_tanner]
drop_take_iota [prf, in infotheo.lib.ssr_ext]
drop_take_is_filter [prf, in infotheo.information_theory.jtypes]
drop_take_is_filter_zip [prf, in infotheo.information_theory.jtypes]
drop_take_is_unzip2_filter [prf, in infotheo.information_theory.jtypes]
DsetT [prf, in infotheo.probability.proba]
dual_codeP1 [prf, in infotheo.ecc_classic.linearcode]
dual_codeP2 [prf, in infotheo.ecc_classic.linearcode]