Def ENorm.finiteSubspace

Modification history