Theorem Sym2.map_pair_eq

Modification history