Index - P
| Pair | Algebra.Types |
| pi | Algebra.Classes |
| plus1Closed | Algebra.Types |
| PlusCon | Algebra.Category.Objects |
| PlusCon1 | Algebra.Category.Objects |
| Pointwise | |
| 1 (Type/Class) | Algebra.Morphism.Pointwise |
| 2 (Data Constructor) | Algebra.Morphism.Pointwise |
| positiveExponentDefault | Algebra.Classes |
| PreRing | Algebra.Classes |
| prodFst | Algebra.Types |
| ProdKind | Algebra.Types |
| ProdObj | Algebra.Category.Objects |
| prodSnd | Algebra.Types |
| Product | |
| 1 (Type/Class) | Algebra.Classes |
| 2 (Data Constructor) | Algebra.Classes |
| product | Algebra.Classes |
| prop_block_matrix | Algebra.Category.BlockMatrix |
| prop_linear_with_functor_laws | Algebra.Linear |
| pureMat | Algebra.Linear |