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)

P

p [definition, in ALEA.Choice]
p [definition, in ALEA.IterFlip]
P [definition, in ALEA.Rplus]
Pacc [lemma, in ALEA.Rplus]
PartialPermutationSerieEq [section, in ALEA.Uprop]
PartialPermutationSerieEq.f [variable, in ALEA.Uprop]
PartialPermutationSerieEq.f_g_perm [variable, in ALEA.Uprop]
PartialPermutationSerieEq.g [variable, in ALEA.Uprop]
PartialPermutationSerieEq.s [variable, in ALEA.Uprop]
PartialPermutationSerieEq.s_dom [variable, in ALEA.Uprop]
PartialPermutationSerieEq.s_surj [variable, in ALEA.Uprop]
PartialPermutationSerieEq.s_inj [variable, in ALEA.Uprop]
PartialPermutationSerieEq.s_fun [variable, in ALEA.Uprop]
PartialPermutationSerieEq.s_dec [variable, in ALEA.Uprop]
PartialPermutationSerieLe [section, in ALEA.Uprop]
PartialPermutationSerieLe.f [variable, in ALEA.Uprop]
PartialPermutationSerieLe.f_g_perm [variable, in ALEA.Uprop]
PartialPermutationSerieLe.g [variable, in ALEA.Uprop]
PartialPermutationSerieLe.s [variable, in ALEA.Uprop]
PartialPermutationSerieLe.s_dom [variable, in ALEA.Uprop]
PartialPermutationSerieLe.s_inj [variable, in ALEA.Uprop]
PartialPermutationSerieLe.s_dec [variable, in ALEA.Uprop]
pchoice [definition, in ALEA.Prog]
pchoice_simpl [lemma, in ALEA.Prog]
Pdec [lemma, in ALEA.Rplus]
PermutationSerie [section, in ALEA.Uprop]
PermutationSerie.f [variable, in ALEA.Uprop]
PermutationSerie.s [variable, in ALEA.Uprop]
PermutationSerie.s_surj [variable, in ALEA.Uprop]
PermutationSerie.s_inj [variable, in ALEA.Uprop]
PickElemts [section, in ALEA.Cover]
PickElemts.A [variable, in ALEA.Cover]
PickElemts.ceq [variable, in ALEA.Cover]
PickElemts.covereq [variable, in ALEA.Cover]
PickElemts.coverP [variable, in ALEA.Cover]
PickElemts.cP [variable, in ALEA.Cover]
PickElemts.d [variable, in ALEA.Cover]
PickElemts.deqP [variable, in ALEA.Cover]
PickElemts.k [variable, in ALEA.Cover]
PickElemts.P [variable, in ALEA.Cover]
plus_Nmult_distr [lemma, in ALEA.Uprop]
plus_lt_1_decimal_plus [lemma, in ALEA.Rplus]
plus_lt_1_decimal [lemma, in ALEA.Rplus]
plus_NRpmult_distr [lemma, in ALEA.Rplus]
Pmin [definition, in ALEA.Uprop]
pmin [definition, in ALEA.Uprop]
pmin_mon [instance, in ALEA.Uprop]
pmin_le_compat [lemma, in ALEA.Uprop]
pmin_le [lemma, in ALEA.Uprop]
pmin_0 [lemma, in ALEA.Uprop]
pmin_plus_eq [lemma, in ALEA.Uprop]
pmin_esp_le [lemma, in ALEA.Uprop]
pmin_esp_S [lemma, in ALEA.Uprop]
points [projection, in ALEA.IsDiscrete]
points [projection, in ALEA.Probas]
points_surj [projection, in ALEA.IsDiscrete]
pone [definition, in ALEA.Probas]
pone_prod [lemma, in ALEA.Prog]
post_field_notz [lemma, in ALEA.RpRing]
PP [definition, in ALEA.Markov]
PP_PS [lemma, in ALEA.Markov]
pred_size_eq [lemma, in ALEA.Cover]
pred_size_le [lemma, in ALEA.Cover]
Probas [library]
Prod [definition, in ALEA.Uprop]
prod [definition, in ALEA.Uprop]
prod_distr_indep [lemma, in ALEA.Prog]
prod_indep [definition, in ALEA.Prog]
prod_distr_term [instance, in ALEA.Prog]
prod_distr_com_sym [lemma, in ALEA.Prog]
prod_distr_com_lub [lemma, in ALEA.Prog]
prod_distr_com_inv [lemma, in ALEA.Prog]
prod_distr_com_mult [lemma, in ALEA.Prog]
prod_distr_com_plus [lemma, in ALEA.Prog]
prod_distr_com_one [lemma, in ALEA.Prog]
prod_distr_com_cte [lemma, in ALEA.Prog]
prod_distr_com_rect [lemma, in ALEA.Prog]
prod_distr_com_eq_compat [lemma, in ALEA.Prog]
prod_distr_com [definition, in ALEA.Prog]
prod_distr_snd_eq [lemma, in ALEA.Prog]
prod_distr_fst_eq [lemma, in ALEA.Prog]
prod_distr_snd [lemma, in ALEA.Prog]
prod_distr_fst [lemma, in ALEA.Prog]
prod_distr_rect [lemma, in ALEA.Prog]
Prod_distr_simpl [lemma, in ALEA.Prog]
Prod_distr [definition, in ALEA.Prog]
prod_distr_mon2 [instance, in ALEA.Prog]
prod_distr [definition, in ALEA.Prog]
prod_discrete [instance, in ALEA.IsDiscrete]
prod_inf [definition, in ALEA.Uprop]
Prod_simpl [lemma, in ALEA.Uprop]
prod_minus [lemma, in ALEA.Uprop]
prod_le [lemma, in ALEA.Uprop]
prod_zero_elim [lemma, in ALEA.Uprop]
prod_not_zero [lemma, in ALEA.Uprop]
prod_zero [lemma, in ALEA.Uprop]
prod_le_compat [lemma, in ALEA.Uprop]
prod_eq_compat [lemma, in ALEA.Uprop]
prod_decr [lemma, in ALEA.Uprop]
prod_S_lift [lemma, in ALEA.Uprop]
prod_1 [lemma, in ALEA.Uprop]
prod_S [lemma, in ALEA.Uprop]
prod_0 [lemma, in ALEA.Uprop]
Prog [library]
Prog_Intervals [library]
prop [projection, in ALEA.Markov]
proper [projection, in ALEA.Intervals]
PS [definition, in ALEA.Markov]
pS_simpl [lemma, in ALEA.IterFlip]
PS_PP [lemma, in ALEA.Markov]
pterm [definition, in ALEA.Prog]
p_le [lemma, in ALEA.IterFlip]
p_eq [lemma, in ALEA.IterFlip]
p_incr [lemma, in ALEA.IterFlip]
p_ [definition, in ALEA.IterFlip]

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)