mathlib
d8d2f543 - feat(group_theory/nilpotent): n-ary products of nilpotent group (#11829)

Commit

4 years ago

feat(group_theory/nilpotent): n-ary products of nilpotent group (#11829) Co-authored-by: Vierkantor <vierkantor@vierkantor.com>

Author

nomeata

Parents