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 | _ | other | (2841 entries) |

Instance 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 | _ | other | (149 entries) |

Projection 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 | _ | other | (50 entries) |

Record 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 | _ | other | (22 entries) |

Lemma 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 | _ | other | (1991 entries) |

Section 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 | _ | 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 | U | V | W | X | Y | Z | _ | other | (41 entries) |

Constructor 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 | _ | other | (17 entries) |

Inductive 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 | _ | other | (9 entries) |

Abbreviation 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 | _ | other | (4 entries) |

Definition 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 | _ | 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 | U | 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 | U | V | W | X | Y | Z | _ | other | (6 entries) |

Variable 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 | _ | other | (148 entries) |

Library 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 | _ | 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 | 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 | _ | other | (2841 entries) |

Instance 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 | _ | other | (149 entries) |

Projection 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 | _ | other | (50 entries) |

Record 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 | _ | other | (22 entries) |

Lemma 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 | _ | other | (1991 entries) |

Section 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 | _ | 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 | U | V | W | X | Y | Z | _ | other | (41 entries) |

Constructor 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 | _ | other | (17 entries) |

Inductive 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 | _ | other | (9 entries) |

Abbreviation 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 | _ | other | (4 entries) |

Definition 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 | _ | 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 | U | 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 | U | V | W | X | Y | Z | _ | other | (6 entries) |

Variable 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 | _ | other | (148 entries) |

Library 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 | _ | other | (22 entries) |