mathlib3
feat(field_theory/subfield): subfields are fields
#888
Merged
Overview
Commits
6
Changes
View On GitHub

feat(field_theory/subfield): subfields are fields #888

mergify merged 6 commits into master from ChrisHughes24-patch-2
ChrisHughes24
ChrisHughes24 feat(field_theory/subfield): subfield are fields
4220cda8
ChrisHughes24 Update subfield.lean
88eb9140
ChrisHughes24 ChrisHughes24 changed the title feat(field_theory/subfield): subfield are fields feat(field_theory/subfield): subfields are fields 6 years ago
jcommelin
jcommelin dismissed these changes on 2019-04-05
cipher1024 Merge branch 'master' into ChrisHughes24-patch-2
4f0473bf
cipher1024 cipher1024 requested a review 6 years ago
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
ChrisHughes24 merge
e554de5c
ChrisHughes24 Merge branch 'ChrisHughes24-patch-2' of https://github.com/leanprover…
bf79be27
cipher1024 cipher1024 assigned digama0 digama0 6 years ago
jcommelin
jcommelin approved these changes on 2019-04-08
robertylewis
robertylewis approved these changes on 2019-04-09
robertylewis robertylewis added ready-to-merge
Merge branch 'master' into 'ChrisHughes24-patch-2'
e3bf76ea
mergify mergify merged 4494001d into master 6 years ago
mergify mergify deleted the ChrisHughes24-patch-2 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum