Theorem Sym2.pmap_subtype_map_subtypeVal

Modification history