mathlib3
fix(group_theory/subgroup): fix some typos introduced in 66a86ffe0
#1246
Merged
Merged