ALEA.Prog_Intervals

Global Index

J

K

X

Y

_

(2841 entries)

Instance Index

E

G

H

J

K

Q

T

V

W

X

Y

Z

_

other

(149 entries)

Projection Index

A

B

G

H

J

K

Q

V

W

X

Y

Z

_

other

(50 entries)

Record Index

A

B

E

G

H

J

K

L

P

Q

U

V

W

X

Y

Z

_

other

(22 entries)

Lemma Index

J

K

V

X

Y

_

other

(1991 entries)

Section Index

A

B

E

H

J

K

M

N

O

Q

V

X

Y

Z

_

other

(35 entries)

Notation Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

V

W

X

Y

Z

_

(41 entries)

Constructor Index

A

B

D

E

G

H

I

J

K

L

O

P

Q

R

U

V

W

X

Y

Z

_

other

(17 entries)

Inductive Index

A

B

D

E

G

H

I

J

K

L

O

P

Q

R

U

V

W

X

Y

Z

_

other

(9 entries)

Abbreviation Index

A

B

C

D

E

F

G

I

J

K

L

M

N

O

P

Q

S

T

U

W

X

Y

Z

_

other

(4 entries)

Definition Index

J

K

T

V

X

Y

_

other

(345 entries)

Module Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

V

W

X

Y

Z

_

other

(2 entries)

Axiom Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

V

W

X

Y

Z

_

other

(6 entries)

Variable Index

B

E

H

J

K

M

N

O

Q

V

X

Y

Z

_

other

(148 entries)

Library Index

A

E

F

G

H

J

K

L

N

O

Q

T

V

W

X

Y

Z

_

other

(22 entries)

M

M [definition, in ALEA.Monads]
Markov [library]
Max [definition, in ALEA.Uprop]
max [definition, in ALEA.Uprop]
max_eq_plus_cte_right [lemma, in ALEA.Uprop]
max_eq_mult [lemma, in ALEA.Uprop]
max_mon [instance, in ALEA.Uprop]
max_0 [lemma, in ALEA.Uprop]
max_assoc [lemma, in ALEA.Uprop]
max_sym [lemma, in ALEA.Uprop]
max_sym_le [lemma, in ALEA.Uprop]
max_idem [lemma, in ALEA.Uprop]
max_le_compat [lemma, in ALEA.Uprop]
max_le [lemma, in ALEA.Uprop]
max_le_left [lemma, in ALEA.Uprop]
max_le_right [lemma, in ALEA.Uprop]
max_eq_case [lemma, in ALEA.Uprop]
max_eq_right [lemma, in ALEA.Uprop]
max_eq_left [lemma, in ALEA.Uprop]
MChoice [definition, in ALEA.Prog]
Mchoice [definition, in ALEA.Prog]
Mchoice_term [instance, in ALEA.Prog]
Mchoice_continuous [lemma, in ALEA.Prog]
Mchoice_continuous_left [lemma, in ALEA.Prog]
Mchoice_continuous_right [lemma, in ALEA.Prog]
Mchoice_sym [lemma, in ALEA.Prog]
Mchoice_sym_le [lemma, in ALEA.Prog]
MChoice_simpl [lemma, in ALEA.Prog]
Mchoice_mon2 [instance, in ALEA.Prog]
Mchoice_le_compat [lemma, in ALEA.Prog]
Mchoice_simpl [lemma, in ALEA.Prog]
Mcomp [lemma, in ALEA.SProbas]
Mcond [definition, in ALEA.Probas]
mcond [definition, in ALEA.Probas]
Mcond_conj_simpl [lemma, in ALEA.Probas]
Mcond_mult [lemma, in ALEA.Probas]
Mcond_bayes [lemma, in ALEA.Probas]
Mcond_decomp [lemma, in ALEA.Probas]
Mcond_conj [lemma, in ALEA.Probas]
Mcond_null [lemma, in ALEA.Probas]
Mcond_zero_stable [lemma, in ALEA.Probas]
Mcond_simpl [lemma, in ALEA.Probas]
Mcond_total [lemma, in ALEA.Probas]
mcond_continuous [lemma, in ALEA.Probas]
mcond_stable_mult [lemma, in ALEA.Probas]
mcond_stable_inv [lemma, in ALEA.Probas]
mcond_stable_plus [lemma, in ALEA.Probas]
mcond_simpl [lemma, in ALEA.Probas]
Mdiv [definition, in ALEA.Probas]
Mdiv_continuous [lemma, in ALEA.Probas]
Mdiv_stable_mult [lemma, in ALEA.Probas]
Mdiv_stable_plus [lemma, in ALEA.Probas]
Mdiv_stable_inv [lemma, in ALEA.Probas]
Mdiv_simpl [lemma, in ALEA.Probas]
mean [definition, in ALEA.Uprop]
mean_lt_down [lemma, in ALEA.Uprop]
mean_lt_up [lemma, in ALEA.Uprop]
mean_le_down [lemma, in ALEA.Uprop]
mean_le_up [lemma, in ALEA.Uprop]
mean_lt_compat_left [lemma, in ALEA.Uprop]
mean_lt_compat_right [lemma, in ALEA.Uprop]
mean_le_compat_left [lemma, in ALEA.Uprop]
mean_le_compat_right [lemma, in ALEA.Uprop]
mean_eq [lemma, in ALEA.Uprop]
MF [definition, in ALEA.Uprop]
MFcpo [definition, in ALEA.Uprop]
MFix [definition, in ALEA.Probas]
Mfix [definition, in ALEA.Probas]
Mfixvar [lemma, in ALEA.Prog]
Mfixvar_up [lemma, in ALEA.Prog]
Mfix_continuous [lemma, in ALEA.Probas]
Mfix_le_iter [lemma, in ALEA.Probas]
Mfix_le_compat [lemma, in ALEA.Probas]
Mfix_eq [lemma, in ALEA.Probas]
Mfix_le [lemma, in ALEA.Probas]
MFopp [definition, in ALEA.Uprop]
MFopp_lub_eq [lemma, in ALEA.Uprop]
mfun2 [definition, in ALEA.Ccpo]
mfun2_mon [instance, in ALEA.Ccpo]
mfun2_simpl [lemma, in ALEA.Ccpo]
MF_lub_def [lemma, in ALEA.Uprop]
MF_lub_simpl [lemma, in ALEA.Uprop]
MIf [definition, in ALEA.Prog]
Mif [definition, in ALEA.Prog]
Mif_eq2 [lemma, in ALEA.Prog]
Mif_eq [lemma, in ALEA.Prog]
Mif_term [instance, in ALEA.Prog]
Mif_lub_eq2 [lemma, in ALEA.Prog]
Mif_lub_eq_right [lemma, in ALEA.Prog]
Mif_lub_eq_left [lemma, in ALEA.Prog]
Mif_cond_continuous [instance, in ALEA.Prog]
Mif_continuous2 [instance, in ALEA.Prog]
MIf_simpl [lemma, in ALEA.Prog]
Mif_mon2 [instance, in ALEA.Prog]
Mif_le_compat [lemma, in ALEA.Prog]
Min [definition, in ALEA.Uprop]
min [definition, in ALEA.Uprop]
minimize [definition, in ALEA.Markov]
minimize_incr [lemma, in ALEA.Markov]
minimize_min [lemma, in ALEA.Markov]
minimize_P [lemma, in ALEA.Markov]
minus_Nmult_distr [lemma, in ALEA.Uprop]
min_acc [definition, in ALEA.Markov]
min_continuous2 [lemma, in ALEA.Uprop]
min_lub_le_incr [lemma, in ALEA.Uprop]
min_lub_le_incr_aux [lemma, in ALEA.Uprop]
min_lub_le [lemma, in ALEA.Uprop]
Min_simpl [lemma, in ALEA.Uprop]
min_mon2 [instance, in ALEA.Uprop]
min_0 [lemma, in ALEA.Uprop]
min_assoc [lemma, in ALEA.Uprop]
min_sym [lemma, in ALEA.Uprop]
min_sym_le [lemma, in ALEA.Uprop]
min_le_compat [lemma, in ALEA.Uprop]
min_plus_cte [lemma, in ALEA.Uprop]
min_plus [lemma, in ALEA.Uprop]
min_mult [lemma, in ALEA.Uprop]
min_idem [lemma, in ALEA.Uprop]
min_le [lemma, in ALEA.Uprop]
min_le_left [lemma, in ALEA.Uprop]
min_le_right [lemma, in ALEA.Uprop]
min_eq_case [lemma, in ALEA.Uprop]
min_eq_right [lemma, in ALEA.Uprop]
min_eq_left [lemma, in ALEA.Uprop]
min_decimal_lt1 [lemma, in ALEA.Rplus]
Misc [library]
Miter [definition, in ALEA.Probas]
mkRp [constructor, in ALEA.Rplus]
mkRp_eta [lemma, in ALEA.Rplus]
mk_IU [constructor, in ALEA.Intervals]
mk_Dec [constructor, in ALEA.Markov]
mk_cpo [constructor, in ALEA.Ccpo]
mk_isglb [lemma, in ALEA.Ccpo]
mk_islub [constructor, in ALEA.Ccpo]
MLet [definition, in ALEA.Probas]
Mlet [definition, in ALEA.Probas]
Mlet_term [instance, in ALEA.Probas]
Mlet_indep_term [lemma, in ALEA.Probas]
Mlet_lub_fun_le_right [lemma, in ALEA.Probas]
Mlet_lub_le_right [lemma, in ALEA.Probas]
Mlet_lub_le_left [lemma, in ALEA.Probas]
Mlet_lub_le [lemma, in ALEA.Probas]
Mlet_continuous2 [lemma, in ALEA.Probas]
Mlet_continuous_left [lemma, in ALEA.Probas]
Mlet_continuous_right [instance, in ALEA.Probas]
Mlet_assoc [lemma, in ALEA.Probas]
Mlet_ext [lemma, in ALEA.Probas]
Mlet_unit [lemma, in ALEA.Probas]
Mlet_eq_compat [lemma, in ALEA.Probas]
MLet_simpl [lemma, in ALEA.Probas]
MLet_simpl0 [lemma, in ALEA.Probas]
Mlet_mon2 [instance, in ALEA.Probas]
Mlet_le_compat [lemma, in ALEA.Probas]
Mlet_simpl [lemma, in ALEA.Probas]
mlub_lift_left [lemma, in ALEA.Ccpo]
mlub_lift_right [lemma, in ALEA.Ccpo]
mlub_le [lemma, in ALEA.Ccpo]
mlub_eq_compat [lemma, in ALEA.Ccpo]
mlub_le_compat [lemma, in ALEA.Ccpo]
Mmult [definition, in ALEA.Probas]
Mmult_continuous [lemma, in ALEA.Probas]
Mmult_stable_mult [lemma, in ALEA.Probas]
Mmult_stable_plus [lemma, in ALEA.Probas]
Mmult_stable_inv [lemma, in ALEA.Probas]
Mmult_simpl [lemma, in ALEA.Probas]
mon [constructor, in ALEA.Ccpo]
Monads [library]
monotonic [record, in ALEA.Ccpo]
monotonic [inductive, in ALEA.Ccpo]
monotonic_sym [lemma, in ALEA.Ccpo]
monotonic_lub_comp [instance, in ALEA.Ccpo]
monotonic_comp_mon [instance, in ALEA.Ccpo]
monotonic_comp [instance, in ALEA.Ccpo]
monotonic_stable [instance, in ALEA.Ccpo]
monotonic_intro [lemma, in ALEA.Ccpo]
monotonic_def [projection, in ALEA.Ccpo]
monotonic_def [constructor, in ALEA.Ccpo]
monotonic2 [record, in ALEA.Ccpo]
monotonic2 [inductive, in ALEA.Ccpo]
monotonic2_sym [lemma, in ALEA.Ccpo]
monotonic2_stable2 [instance, in ALEA.Ccpo]
monotonic2_intro [projection, in ALEA.Ccpo]
monotonic2_intro [constructor, in ALEA.Ccpo]
mon_fun_lub [instance, in ALEA.Ccpo]
mon_ord_equiv_simpl [lemma, in ALEA.Ccpo]
mon_ord_equiv [definition, in ALEA.Ccpo]
mon_app2_mon [instance, in ALEA.Ccpo]
mon_app2 [instance, in ALEA.Ccpo]
mon_diag [instance, in ALEA.Ccpo]
mon_cte [instance, in ALEA.Ccpo]
mon_id [instance, in ALEA.Ccpo]
mon_seq_lift_right [instance, in ALEA.Ccpo]
mon_seq_lift_left [instance, in ALEA.Ccpo]
mon_fun_mon [instance, in ALEA.Ccpo]
mon_comp [definition, in ALEA.Ccpo]
mon_fun_eq [lemma, in ALEA.Ccpo]
mon_fun_subst [definition, in ALEA.Ccpo]
mon_fun_eq_monotonic [lemma, in ALEA.Ccpo]
mon_eq_compat [lemma, in ALEA.Ccpo]
mon_le_compat [lemma, in ALEA.Ccpo]
mon_simpl [lemma, in ALEA.Ccpo]
mon_Rpexp_lt [instance, in ALEA.Rplus]
mon2 [definition, in ALEA.Ccpo]
mon2_fun2 [lemma, in ALEA.Ccpo]
mon2_le_compat [lemma, in ALEA.Ccpo]
mon2_simpl [lemma, in ALEA.Ccpo]
mon2_elim2 [lemma, in ALEA.Ccpo]
mon2_elim1 [lemma, in ALEA.Ccpo]
mon2_intro [instance, in ALEA.Ccpo]
Mrestr [definition, in ALEA.Cover]
Mrestr_simpl [lemma, in ALEA.Cover]
Mrestr0 [lemma, in ALEA.Cover]
Mrestr1 [lemma, in ALEA.Cover]
mseq_cte [definition, in ALEA.Ccpo]
mseq_lift_right_left [lemma, in ALEA.Ccpo]
mseq_lift_right_le_compat [lemma, in ALEA.Ccpo]
mseq_lift_right_simpl [lemma, in ALEA.Ccpo]
mseq_lift_right [definition, in ALEA.Ccpo]
mseq_lift_left_le_compat [lemma, in ALEA.Ccpo]
mseq_lift_left_simpl [lemma, in ALEA.Ccpo]
mseq_lift_left [definition, in ALEA.Ccpo]
mshift [definition, in ALEA.Ccpo]
mshift_continuous [instance, in ALEA.Ccpo]
mshift_continuous2 [lemma, in ALEA.Ccpo]
mshift_le_compat [lemma, in ALEA.Ccpo]
mshift_simpl [lemma, in ALEA.Ccpo]
mshift2_eq [lemma, in ALEA.Ccpo]
Mu [definition, in ALEA.Probas]
mu [projection, in ALEA.Probas]
Mubern [definition, in ALEA.Bernoulli]
Mubern_inv [lemma, in ALEA.Bernoulli]
MuBern_false [lemma, in ALEA.Bernoulli]
MuBern_true [lemma, in ALEA.Bernoulli]
Mubern_eq [lemma, in ALEA.Bernoulli]
Mubern_simpl [lemma, in ALEA.Bernoulli]
Mubern_mon [instance, in ALEA.Bernoulli]
mufix [definition, in ALEA.Uprop]
mufix_mu [lemma, in ALEA.Prog]
mufix_mu_le [lemma, in ALEA.Prog]
mufix_cte [lemma, in ALEA.Uprop]
mufix_eq [lemma, in ALEA.Uprop]
mufix_le [lemma, in ALEA.Uprop]
mufix_inv [lemma, in ALEA.Uprop]
muF_eq [lemma, in ALEA.Prog]
muF_le_term_minus [lemma, in ALEA.Prog]
muF_le_term [lemma, in ALEA.Prog]
muF_pterm [lemma, in ALEA.Prog]
muF_le [lemma, in ALEA.Prog]
muF_stable [lemma, in ALEA.Prog]
mult_eq_reg_l [lemma, in ALEA.IsDiscrete]
mult_Nmult_Umult [lemma, in ALEA.Uprop]
mult_lt_compat_l [lemma, in ALEA.BinCoeff]
mult_simpl_right [lemma, in ALEA.BinCoeff]
Munit [definition, in ALEA.Probas]
Munit_term [instance, in ALEA.Probas]
Munit_eq_compat [lemma, in ALEA.Probas]
Munit_simpl [lemma, in ALEA.Probas]
mu_mufix_le [lemma, in ALEA.Prog]
mu_muF_commute_le [definition, in ALEA.Prog]
mu_discrete [lemma, in ALEA.IsDiscrete]
mu_serie_eq [lemma, in ALEA.Probas]
mu_serie_le [lemma, in ALEA.Probas]
mu_sigma_eq [lemma, in ALEA.Probas]
mu_sigma_le [lemma, in ALEA.Probas]
mu_stable_inv_term [lemma, in ALEA.Probas]
mu_lub_sup [lemma, in ALEA.Probas]
mu_lub_le [lemma, in ALEA.Probas]
mu_lub [definition, in ALEA.Probas]
Mu_simpl [lemma, in ALEA.Probas]
mu_eq_compat [lemma, in ALEA.Probas]
mu_le_compat [lemma, in ALEA.Probas]
mu_eq_plus_esp [lemma, in ALEA.Probas]
mu_fzero_eq [lemma, in ALEA.Probas]
mu_stable_plus2 [lemma, in ALEA.Probas]
mu_stable_mult2 [lemma, in ALEA.Probas]
mu_esp_zero [lemma, in ALEA.Probas]
mu_esp_one [lemma, in ALEA.Probas]
mu_le_esp [lemma, in ALEA.Probas]
mu_stable_div_le [lemma, in ALEA.Probas]
mu_stable_div [lemma, in ALEA.Probas]
mu_stable_inv_inv [lemma, in ALEA.Probas]
mu_le_esp_inv [lemma, in ALEA.Probas]
mu_inv_minus_inv [lemma, in ALEA.Probas]
mu_stable_le_minus [lemma, in ALEA.Probas]
mu_inv_minus [lemma, in ALEA.Probas]
mu_stable_minus [lemma, in ALEA.Probas]
mu_stable_mult_right [lemma, in ALEA.Probas]
mu_cte_eq [lemma, in ALEA.Probas]
mu_cte_le [lemma, in ALEA.Probas]
mu_cte [lemma, in ALEA.Probas]
mu_fcte_eq [lemma, in ALEA.Probas]
mu_fcte_le [lemma, in ALEA.Probas]
mu_fcte [lemma, in ALEA.Probas]
mu_plus_pos [lemma, in ALEA.Probas]
mu_plus_zero [lemma, in ALEA.Probas]
mu_eq_plus [lemma, in ALEA.Probas]
mu_le_plus [lemma, in ALEA.Probas]
mu_le_minus [lemma, in ALEA.Probas]
mu_fplusok [lemma, in ALEA.Probas]
mu_one_inv [lemma, in ALEA.Probas]
mu_zero_eq [lemma, in ALEA.Probas]
mu_zero [lemma, in ALEA.Probas]
mu_stable_eq [lemma, in ALEA.Probas]
mu_monotonic [lemma, in ALEA.Probas]
mu_continuous [projection, in ALEA.Probas]
mu_stable_mult [projection, in ALEA.Probas]
mu_stable_plus [projection, in ALEA.Probas]
mu_stable_inv [projection, in ALEA.Probas]
mu_cut [lemma, in ALEA.Cover]
M_lub_simpl [lemma, in ALEA.Probas]
M_ext [lemma, in ALEA.SProbas]

Global Index

J

K

X

Y

_

(2841 entries)

Instance Index

E

G

H

J

K

Q

T

V

W

X

Y

Z

_

other

(149 entries)

Projection Index

A

B

G

H

J

K

Q

V

W

X

Y

Z

_

other

(50 entries)

Record Index

A

B

E

G

H

J

K

L

P

Q

U

V

W

X

Y

Z

_

other

(22 entries)

Lemma Index

J

K

V

X

Y

_

other

(1991 entries)

Section Index

A

B

E

H

J

K

M

N

O

Q

V

X

Y

Z

_

other

(35 entries)

Notation Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

V

W

X

Y

Z

_

(41 entries)

Constructor Index

A

B

D

E

G

H

I

J

K

L

O

P

Q

R

U

V

W

X

Y

Z

_

other

(17 entries)

Inductive Index

A

B

D

E

G

H

I

J

K

L

O

P

Q

R

U

V

W

X

Y

Z

_

other

(9 entries)

Abbreviation Index

A

B

C

D

E

F

G

I

J

K

L

M

N

O

P

Q

S

T

U

W

X

Y

Z

_

other

(4 entries)

Definition Index

J

K

T

V

X

Y

_

other

(345 entries)

Module Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

V

W

X

Y

Z

_

other

(2 entries)

Axiom Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

V

W

X

Y

Z

_

other

(6 entries)

Variable Index

B

E

H

J

K

M

N

O

Q

V

X

Y

Z

_

other

(148 entries)

Library Index

A

E

F

G

H

J

K

L

N

O

Q

T

V

W

X

Y

Z

_

other

(22 entries)