Theorem Equiv.mulRight_bijective₀

Modification history