Def NormedAlgebra.induced

Modification history