Theorem Sym2.mem_pmap_iff

Modification history