Theorem Sym2.pair_eq_pmap

Modification history