Theorem sum_embeddings_eq_finrank_mul

Modification history