Theorem enorm'_eq_iff_norm_eq

Modification history