Theorem Equiv.swap_mul_self

Modification history