Theorem Algebra.norm_eq_prod_roots

Modification history