Theorem Algebra.norm_eq_prod_embeddings

Modification history