Here is a list of all documented class members 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::algebra::Polynomial< R, M >, 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 >
• inverse_type : dedekind::linear_algebra::BlockUpperTriangular< A, B, D >, dedekind::linear_algebra::DirectSum< A, B >, dedekind::linear_algebra::Invertible2x2< T, a, b, c, d >
• is_associative_v : dedekind::category::SpeciesTraits< dedekind::morphologies::Modular< N > >, dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::SemimoduleVec< S, N, Orientation >, dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::Ø< T, L >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::Ø< T, L >, dedekind::sets::𝔸< T, L, C >
• is_commutative_v : dedekind::linear_algebra::MatNxNV< S, N >
• is_galois_field_v : dedekind::category::SpeciesTraits< dedekind::morphologies::Modular< N > >
• is_idempotent_v : dedekind::linear_algebra::MatNxNV< S, N >
• is_initial_object_tag : dedekind::sequences::Ø< T, L >, dedekind::sets::Ø< T, L >
• is_involutive_v : dedekind::sets::Complement< T, L >
• is_monic_arrow_tag : dedekind::category::SubobjectInclusion< S >
• is_terminal_object_tag : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• is_universal_boundary : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• iterator() : dedekind::category::unfold_view< S, Coalg >::iterator