Theorem comp_equiv_dotProduct_comp_equiv

Modification history