Mathlib v3 is deprecated. Go to Mathlib v4

Def group.rank

Modification history

2022-09-03 10:46
src/group_theory/finiteness.lean
refactor(group_theory/finiteness): Make `group.rank` noncomputable (#16256) …
Deleted group.rankView on Github →
2022-03-19 11:33
src/group_theory/finiteness.lean
feat(group_theory/finiteness): Define the minimum number of generators (#12765) …
Added group.rankView on Github →