Theorem Antivary.mul_left₀

Modification history