Theorem mulLeft_bijective₀

Modification history