Theorem Symmetric.swap_eq

Modification history