Theorem invOf_mul_eq_iff_eq_mul_left
Modification history
2023-11-16 17:27
Mathlib/Algebra/Invertible/Defs.lean
chore(Algebra/Invertible/Defs): extract a variable command (#8441) …
Modified invOf_mul_eq_iff_eq_mul_leftView on Github →2023-11-16 14:12
Mathlib/Algebra/Invertible/Defs.lean
style: cleanup some autoImplicits (#8288) …
Modified invOf_mul_eq_iff_eq_mul_leftView on Github →