Def AlgebraNorm.toRingSeminorm'

Modification history