Skip to content

bugfix for dot of Hermitian{noncommutative}#52333

Merged
dkarrasch merged 8 commits intomasterfrom sgj/dotqherm_fixDec 5, 2023