Commit 2023-11-10 10:07 92f0def2

View on Github →

feat: Diagonality of Sym2.map (#8183)

Estimated changes

added theorem Sym2.isDiag_map