Theorem Algebra.norm_apply

Modification history