Added a derivation for matrix multiplication with square tiles (commented out because it takes the scala compiler too long)
Added a derivation for matrix multiplication with square tiles (commented out because it takes the scala compiler too long)

lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift