Def Matrix.frobeniusNormedRing

Modification history