Def LinearMap.sumOfConjugates

Modification history