mathlib3

584ff52d - Attempt to use is_freely_generated_by in nielsen_schreier, but probbly misguided