Theorem mulLeftEmbedding_eq_mulRightEmbedding

Modification history

2023-11-23 11:18
Mathlib/Algebra/Group/Embedding.lean
chore(Algebra/Regular/Basic): generalize to `IsCancelMul` (#8428) …
Modified mulLeftEmbedding_eq_mulRightEmbeddingView on Github →
2023-09-04 13:19
Mathlib/Algebra/Hom/Embedding.lean
chore: Fix `add_left_embedding_eq_add_right_embedding` name (#6935) …
Added mulLeftEmbedding_eq_mulRightEmbeddingView on Github →