Theorem LinearMap.toLinearMap₂'Aux_toMatrix₂Aux

Modification history