Trait Alias maths_traits::algebra::module_like::SymmetricForm

trait SymmetricForm<R, M> where
    R: UnitalRing,
    M: RingModule<R>,  = BilinearForm<R, M> + SymSesquilinearForm<R, M>;

A BilinearForm where x•y = y•x