Theorem Equiv.swap_mul_self_mul

Modification history