Theorem mul_mul_inv_mul_cancel

Modification history

2026-02-16 21:07
Mathlib/Algebra/Group/Basic.lean
feat: the left uniformity in a group (#35252) …
Added mul_mul_inv_mul_cancelView on Github →