Theorem Sym2.mk''_isDiag_iff

Modification history