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

- ι -

• ι() : dedekind::sets
• ι_1() : dedekind::category
• ι_2() : dedekind::category