Theorem Sym2.pmap_map

Modification history