F (definition)
f [in Coq.Logic.Berardi]
fact [in Coq.Reals.Rfunctions]
fast_OMEGA10 [in Coq.ZArith.auxiliary]
fast_OMEGA11 [in Coq.ZArith.auxiliary]
fast_OMEGA12 [in Coq.ZArith.auxiliary]
fast_OMEGA13 [in Coq.ZArith.auxiliary]
fast_OMEGA14 [in Coq.ZArith.auxiliary]
fast_OMEGA15 [in Coq.ZArith.auxiliary]
fast_OMEGA16 [in Coq.ZArith.auxiliary]
fast_Zmult_assoc_r [in Coq.ZArith.auxiliary]
fast_Zmult_plus_distr [in Coq.ZArith.auxiliary]
fast_Zmult_sym [in Coq.ZArith.auxiliary]
fast_Zmult_Zopp_left [in Coq.ZArith.auxiliary]
fast_Zopp_one [in Coq.ZArith.auxiliary]
fast_Zopp_Zmult_r [in Coq.ZArith.auxiliary]
fast_Zopp_Zopp [in Coq.ZArith.auxiliary]
fast_Zopp_Zplus [in Coq.ZArith.auxiliary]
fast_Zplus_assoc_l [in Coq.ZArith.auxiliary]
fast_Zplus_assoc_r [in Coq.ZArith.auxiliary]
fast_Zplus_permute [in Coq.ZArith.auxiliary]
fast_Zplus_sym [in Coq.ZArith.auxiliary]
fast_Zred_factor0 [in Coq.ZArith.auxiliary]
fast_Zred_factor1 [in Coq.ZArith.auxiliary]
fast_Zred_factor2 [in Coq.ZArith.auxiliary]
fast_Zred_factor3 [in Coq.ZArith.auxiliary]
fast_Zred_factor4 [in Coq.ZArith.auxiliary]
fast_Zred_factor5 [in Coq.ZArith.auxiliary]
fast_Zred_factor6 [in Coq.ZArith.auxiliary]
fct_cte [in Coq.Reals.Ranalysis]
find [in Coq.Lists.TheoryList]
fix [in Coq.Init.Wf]
Fix_F [in Coq.Init.Wf]
flat_map [in Coq.Lists.PolyList]
fleche [in Coq.Setoids.Setoid]
floor [in Coq.ZArith.Zcomplements]
floor_pos [in Coq.ZArith.Zcomplements]
fold_left [in Coq.Lists.PolyList]
fold_right [in Coq.Lists.PolyList]
frac_part [in Coq.Reals.R_Ifp]
FSet [in Coq.IntMap.Fset]
FSetDelta [in Coq.IntMap.Fset]
FSetDiff [in Coq.IntMap.Fset]
FSetInter [in Coq.IntMap.Fset]
FSetUnion [in Coq.IntMap.Fset]
fst [in Coq.Init.Datatypes]
Fst [in Coq.Init.Datatypes]
fstT [in Coq.Init.Logic_Type]
Fullset [in Coq.Sets.Uniset]