Theorem Part.mul_get_eq

Modification history