Theorem Sym2.isDiag_iff_mem_range_diag

Modification history