Theorem Sym2.mk_isDiag_iff

Modification history