Theorem Sym2.pmap_pair

Modification history