Theorem NormedDivisionRing.toNormSMulClass

Modification history