Mathlib v3 is deprecated. Go to Mathlib v4

Def multiplicative

Modification history

2019-06-11 17:46

src/algebra/group.lean

refactor(algebra/group): split into smaller files (#1121) …

Modified multiplicative View on Github →

2018-04-03 21:23

algebra/group.lean

fix(*): update to lean …

Added multiplicative View on Github →