Def DivInvMonoid.div'

Modification history

2026-08-20 19:44

Mathlib/Algebra/Group/Defs.lean

refactor(Algebra/Group): split overlong file Defs.lean (#42952) …

Modified DivInvMonoid.div'View on Github →

2023-03-07 22:58

Mathlib/Algebra/Group/Defs.lean

chore: don't inline `DivInvMonoid` default value for `Div`, for better instance transparency (#1897) …

Added DivInvMonoid.div'View on Github →