Theorem Sym2.pmap_pmap

Modification history