Theorem Algebra.intNorm_eq_norm

Modification history