Mathlib v3 is deprecated. Go to Mathlib v4

Theorem group.rank_spec

Modification history

2022-09-03 10:46
src/group_theory/finiteness.lean
refactor(group_theory/finiteness): Make `group.rank` noncomputable (#16256) …
Modified group.rank_specView 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.rank_specView on Github →