mathlib3
f83ae595 - feat(group_theory/nielsen_schreier): subgroup of free group is free (#6840)

Commit

4 years ago

feat(group_theory/nielsen_schreier): subgroup of free group is free (#6840) Prove that a subgroup of a free group is itself free

Author

dwarn

Parents