Theorem Matrix.star_dotProduct_star

Modification history