Def Invertible.mulLeft

Modification history

2023-09-06 11:21

Mathlib/Algebra/Invertible.lean

chore: split Mathlib.Algebra.Invertible (#6973) …

Modified Invertible.mulLeft View on Github →

2023-08-23 10:05

Mathlib/Algebra/Invertible.lean

fix: `simps` config for `Units` (#6514)

Modified Invertible.mulLeft View on Github →

2023-06-22 09:57

Mathlib/Algebra/Invertible.lean

chore: forward-port mathlib#19204 (#5369)

Added Invertible.mulLeft View on Github →