proveit.linear_algebra.scalar_multiplication.distribution_over_vectors
proveit.logic