Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-24 19:36 f83ae595

View on Github →

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

Estimated changes