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 _ (3647 entries)
Tactic 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 _ (9 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 _ (107 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 _ (2540 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 _ (184 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 _ (118 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 _ (523 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 _ (166 entries)

D (definition)

decidable [in Coq.Logic.Decidable]
decreasing [in Coq.Reals.Ranalysis]
Delta [in Coq.Reals.R_sqr]
Delta_is_pos [in Coq.Reals.R_sqr]
derivable [in Coq.Reals.Ranalysis]
derivable_pt [in Coq.Reals.Ranalysis]
derive [in Coq.Reals.Ranalysis]
Descl [in Coq.Wellfounded.Lexicographic_Exponentiation]
Dgf [in Coq.Reals.Rlimit]
dist_euc [in Coq.Reals.Rgeom]
div2 [in Coq.Arith.Div2]
div_fct [in Coq.Reals.Ranalysis]
div_real_fct [in Coq.Reals.Ranalysis]
DMerge [in Coq.IntMap.Mapfold]
double [in Coq.Arith.Div2]
double_moins_deux [in Coq.ZArith.fast_integer]
double_moins_un [in Coq.ZArith.fast_integer]
D_in [in Coq.Reals.Rderiv]
D_x [in Coq.Reals.Rderiv]