Theorem comp_equiv_symm_dotProduct

Modification history