Module inner

Module inner 

Source

Traitsยง

InnerProduct
Inner Product