P (definition)
permutation [in Coq.Sorting.Permutation]
PI_lb [in Coq.Reals.Rtrigo]
PI_ub [in Coq.Reals.Rtrigo]
plus [in Coq.Init.Peano]
plus_acc [in Coq.Arith.Plus]
plus_fct [in Coq.Reals.Ranalysis]
positive_to_nat [in Coq.ZArith.fast_integer]
Pow [in Coq.Relations.Relation_Operators]
pow [in Coq.Logic.Berardi]
pow [in Coq.Reals.Rfunctions]
Power [in Coq.Wellfounded.Lexicographic_Exponentiation]
powerRZ [in Coq.Reals.Rfunctions]
Power_set_PO [in Coq.Sets.Powerset]
pred [in Coq.Init.Peano]
prodT_curry [in Coq.Init.Logic_Type]
prodT_uncurry [in Coq.Init.Logic_Type]
projS1 [in Coq.Init.Specif]
ProjS1 [in Coq.Init.Specif]
projS2 [in Coq.Init.Specif]
ProjS2 [in Coq.Init.Specif]
projT1 [in Coq.Init.Specif]
projT2 [in Coq.Init.Specif]
proj1_sig [in Coq.Init.Specif]
proj2_sig [in Coq.Init.Specif]
Prop_S [in Coq.Setoids.Setoid]
Pser [in Coq.Reals.Rseries]
p_xor [in Coq.IntMap.Addr]