Theorem Equiv.swap_eq_update

Modification history