mathlib3
refactor(field_theory/perfect_closure): use bundled homs, review
#2357

Merged

refactor(field_theory/perfect_closure): use bundled homs, review #2357

mergify merged 4 commits into master from perfect-closure

refactor(field_theory/perfect_closure): use bundled homs, review

c12cae65

urkud added awaiting-review

urkud commented on 2020-04-08

Fix a typo spotted by `lint`

ddfd4dcf

jcommelin commented on 2020-04-09

Apply suggestions from code review

832dcfd9

jcommelin approved these changes on 2020-04-09

jcommelin removed awaiting-review

jcommelin added ready-to-merge

Merge branch 'master' into perfect-closure

5fe7696e

mergify merged 6152d450 into master 6 years ago

mergify deleted the perfect-closure branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone