Theorem Sym2.attachWith_map_subtypeVal

Modification history