Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mem_upper_central_series_step

Modification history

2021-08-16 16:19

src/group_theory/nilpotent.lean

feat(group_theory/nilpotent): add nilpotent groups (#8538) …

Added mem_upper_central_series_step View on Github →