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

- η -

• η() : dedekind::category, dedekind::sequences::detail_pst_witness, dedekind::sets