Def LinearMap.ofIsCompl

Modification history