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]