Here is a list of all documented functions with links to the class documentation for each member:

- i -

• infimum() : dedekind::numbers::QuadraticReal< D, Q >
• infinite_quantifiers() : dedekind::sets::Verdict< P, K >
• inl() : dedekind::category::Arrows< T, Op >, dedekind::category::Morphisms< T, Op >, dedekind::category::Sections< T, Op >
• Interval() : dedekind::numbers::Interval< V, L >, dedekind::order::Interval< V, L >
• inverse() : dedekind::analysis::Dual< F >, dedekind::linear_algebra::Dual< F >, dedekind::morphologies::Modular< N >, dedekind::numbers::QuadraticReal< D, Q >, dedekind::numbers::Rational< Z >, dedekind::numbers::UnitRoot< N >
• iterator() : dedekind::category::unfold_view< S, Coalg >::iterator