Commit 2026-03-28 13:52 82fd896d

View on Github →

feat(LinearAlgebra/Matrix): expand IsSymm/IsHermitian API (#36349)

Estimated changes

added theorem Matrix.transpose_comp
modified theorem Matrix.transpose_map
modified theorem Matrix.transpose_neg
modified theorem Matrix.transpose_smul
added theorem Matrix.isSymm_swap
modified theorem Matrix.IsSymm.map
added theorem Matrix.IsSymm.reindex
added theorem Matrix.isSymm_comp_iff
added theorem Matrix.isSymm_map_iff
added theorem Matrix.isSymm_neg_iff
added theorem Matrix.isSymm_smul_iff