Theorem Sym2.filter_image_mk_isDiag

Modification history