Theorem Algebra.norm_eq_norm_adjoin

Modification history