Commit 2023-08-07 15:21 8c52db32

View on Github →

feat: Trivial Star makes ConjTranspose_eq_transpose (#6419) Under the trivial star, $A^H = A^T$

Estimated changes