Theorem mul_left_embedding_eq_mul_right_embedding

Modification history

2023-09-04 13:19
Mathlib/Algebra/Hom/Embedding.lean
chore: Fix `add_left_embedding_eq_add_right_embedding` name (#6935) …
Deleted mul_left_embedding_eq_mul_right_embeddingView on Github →
2023-08-10 19:52
Mathlib/Algebra/Hom/Embedding.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified mul_left_embedding_eq_mul_right_embeddingView on Github →
2022-11-28 15:29
Mathlib/Algebra/Hom/Embedding.lean
feat: port Algebra.Hom.Embedding (#764) …
Added mul_left_embedding_eq_mul_right_embeddingView on Github →