Theorem Sym2.isDiag_iff_proj_eq

Modification history