Theorem eq_one_of_mul_left

Modification history

2023-04-12 19:26
Mathlib/Algebra/Group/Units.lean
feat: Dot notation aliases (#3303) …
Added eq_one_of_mul_leftView on Github →