Theorem mulSalemSpencer_mul_left_iff₀

Modification history