Theorem LinearMap.detAux_comp

Modification history