P (inductive)
PartialOrder [in Coq.Classes.RelationClasses]
PER [in Coq.Sets.Relations_1]
Permutation [in Coq.Sorting.Permutation]
PermutationA [in Coq.Lists.SetoidPermutation]
positive [in Coq.Numbers.BinNums]
PositiveMap.tree [in Coq.FSets.FMapPositive]
PositiveSet.ct [in Coq.FSets.FSetPositive]
PositiveSet.ct [in Coq.MSets.MSetPositive]
PositiveSet.tree [in Coq.FSets.FSetPositive]
PositiveSet.tree [in Coq.MSets.MSetPositive]
Pos.mask [in Coq.PArith.BinPosDef]
Pos.PeanoView [in Coq.PArith.BinPos]
Pos.SqrtSpec [in Coq.PArith.BinPos]
Pos.SubMaskSpec [in Coq.PArith.BinPos]
Power_set [in Coq.Sets.Powerset]
Preorder [in Coq.Sets.Relations_1]
prime [in Coq.ZArith.Znumtheory]
prod [in Coq.Init.Datatypes]
Proper [in Coq.Classes.Morphisms]
ProperProxy [in Coq.Classes.Morphisms]
Props.bst [in Coq.MSets.MSetGenTree]
Props.InT [in Coq.MSets.MSetGenTree]
Props.Ok [in Coq.MSets.MSetGenTree]
P_nth [in Coq.Arith.Between]