Theorem dotProduct_comp_equiv_symm

Modification history