Theorem Equiv.mulRight_one

Modification history