F (definition)
f [in Coq.Logic.Berardi]
fact [in Coq.Arith.Factorial]
FalseP [in Coq.Logic.ClassicalFacts]
false_predicate [in Coq.Classes.RelationClasses]
family_closed_set [in Coq.Reals.Rtopology]
family_finite [in Coq.Reals.Rtopology]
family_open_set [in Coq.Reals.Rtopology]
fct_cte [in Coq.Reals.Ranalysis1]
FF [in Coq.Reals.RList]
fibonacci [in Coq.ZArith.Zgcd_alt]
filter [in Coq.Lists.List]
find [in Coq.Lists.List]
findA [in Coq.Lists.SetoidList]
findex [in Coq.Strings.String]
firstl [in Coq.Numbers.Cyclic.Int31.Int31]
firstn [in Coq.Lists.List]
firstr [in Coq.Numbers.Cyclic.Int31.Int31]
Fix [in Coq.Init.Wf]
Fix_sub [in Coq.Program.Wf]
Fix_F_sub [in Coq.Program.Wf]
Fix_F_2 [in Coq.Init.Wf]
Fix_F [in Coq.Init.Wf]
fix_proto [in Coq.Program.Tactics]
flat_map [in Coq.Lists.List]
flip [in Coq.Program.Basics]
flip_proper [in Coq.Classes.Morphisms]
flip_antiSymmetric [in Coq.Classes.RelationClasses]
flip_Transitive [in Coq.Classes.RelationClasses]
flip_Asymmetric [in Coq.Classes.RelationClasses]
flip_Symmetric [in Coq.Classes.RelationClasses]
flip_Irreflexive [in Coq.Classes.RelationClasses]
floor [in Coq.ZArith.Zcomplements]
floor_pos [in Coq.ZArith.Zcomplements]
fold_left2 [in Coq.Vectors.VectorDef]
fold_right2 [in Coq.Vectors.VectorDef]
fold_right [in Coq.Vectors.VectorDef]
fold_left [in Coq.Vectors.VectorDef]
fold_right [in Coq.Lists.List]
fold_left [in Coq.Lists.List]
forallb [in Coq.Lists.List]
ForallPairs [in Coq.Lists.List]
forall_relation [in Coq.Classes.Morphisms]
forall_def [in Coq.Classes.Morphisms]
frac_part [in Coq.Reals.R_Ifp]
frame_tan [in Coq.Reals.Ratan]
fst [in Coq.Init.Datatypes]
FS_inj [in Coq.Vectors.Fin]
Fullset [in Coq.Sets.Uniset]
FunctionalChoice_on_rel [in Coq.Logic.ChoiceFacts]
FunctionalChoice_on [in Coq.Logic.ChoiceFacts]
FunctionalCountableChoice [in Coq.Logic.ChoiceFacts]
FunctionalCountableChoice_on [in Coq.Logic.ChoiceFacts]
FunctionalDependentChoice [in Coq.Logic.ChoiceFacts]
FunctionalDependentChoice_on [in Coq.Logic.ChoiceFacts]
FunctionalRelReification_on [in Coq.Logic.ChoiceFacts]