Theorem Part.some_mul_some

Modification history