Theorem Equiv.inv_mulRight

Modification history