X (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

X (Lemmas)

x_x2_eq [prf, in infotheo.lib.realType_ext]
x_x2_max [prf, in infotheo.lib.realType_ext]
x_x2_nneg [prf, in infotheo.lib.realType_ext]
x_x2_pos [prf, in infotheo.lib.realType_ext]
xlnx_0 [prf, in infotheo.lib.realType_ln]
xlnx_1 [prf, in infotheo.lib.realType_ln]
xlnx_decreasing_0_Rinv_e [prf, in infotheo.lib.realType_ln]
xlnx_delta_bound [prf, in infotheo.lib.realType_ln]
xlnx_entropy [prf, in infotheo.information_theory.entropy]
xlnx_ineq [prf, in infotheo.lib.realType_ln]
xlnx_neg [prf, in infotheo.lib.realType_ln]
xlnx_sdecreasing_0_Rinv_e [prf, in infotheo.lib.realType_ln]
xlnx_total_neg [prf, in infotheo.lib.realType_ln]
Xpos [prf, in infotheo.information_theory.source_coding_vl_converse]