Theorem Equiv.comp_swap_eq_update

Modification history