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

Merged

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

mergify merged 1 commit into leanprover-community:master from urkud:fix-typos

fix(group_theory/subgroup): fix some typos introduced in 66a86ffe0

4cb71624

urkud requested a review 6 years ago

jcommelin approved these changes on 2019-07-20

jcommelin added ready-to-merge

mergify merged d371da68 into master 6 years ago

urkud deleted the fix-typos branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone