Theorem describing matrix multiplication

Created almost 9 years ago

Put content here.