Here is a list of all documented namespace functions with links to the namespaces they belong to:

- p -

• period() : dedekind::category
• pin_constants() : dedekind::sets
• pin_term() : dedekind::sets
• point_of() : dedekind::sets
• popcount() : dedekind::category
• position() : dedekind::category
• power() : dedekind::category
• power_set() : dedekind::sets
• power_within() : dedekind::sets
• predecessor() : dedekind::category, dedekind::sets
• predicate_and() : dedekind::category
• predicate_not() : dedekind::category
• predicate_or() : dedekind::category
• prefix() : dedekind::category
• preimage() : dedekind::category
• principal_ray() : dedekind::numbers
• product_arrow() : dedekind::category
• product_membership() : dedekind::sets
• propagate() : dedekind::numbers
• pullback() : dedekind::category
• pushed_down() : dedekind::category