Trait Alias maths_traits::algebra::module_like::SkewHermitianForm

trait SkewHermitianForm<R, M> where
    R: ComplexRing,
    M: RingModule<R>,  = ComplexSesquilinearForm<R, M> + SkewSesquilinearForm<R, M>;

A ComplexSesquilinearForm where x•y = -̅y̅•̅x