Theorem Sym2.filter_image_mk_not_isDiag

Modification history