Trait maths_traits::algebra::module_like::CountableVectorSpace

pub trait CountableVectorSpace<K>: VectorSpace<K> + CountableBasis<K> where
    K: Field, { }

A vector space with a countable basis

Implementors

impl<_G: VectorSpace<K> + CountableBasis<K>, K> CountableVectorSpace<K> for _G where
    K: Field, 

Loading content...