Theorem Sym2.map_id'

Modification history