Theorem Sym2.eq_swap

Modification history