mathlib3
chore(field_theory/finite): spelling mistake
#2157
Merged

chore(field_theory/finite): spelling mistake #2157

mergify merged 1 commit into master from ChrisHughes24-patch-1
ChrisHughes24
ChrisHughes24 chore(field_theory/finite): spelling mistake
ed287eb2
sgouezel
sgouezel approved these changes on 2020-03-15
sgouezel sgouezel added ready-to-merge
mergify mergify merged 7104132e into master 6 years ago
mergify mergify deleted the ChrisHughes24-patch-1 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone