Theorem LinearMap.detAux_def'

Modification history