Theorem Sym2.filter_image_quotient_mk''_isDiag

Modification history