Theorem MulSalemSpencer.mul_right₀

Modification history