subfield): drop some `x ≠ 0`, use `division_ring`
#2136

Merged

chore(algebra/field*, field_theory/subfield): drop some `x ≠ 0`, use `division_ring` #2136

mergify merged 4 commits into master from map-inv

chore(algebra/field*, field_theory/subfield): drop some `x ≠ 0`, use …

849a0908

jcommelin approved these changes on 2020-03-12

jcommelin added ready-to-merge

Fix lint

4d688eb9

Merge branch 'master' into map-inv

5fc4ecf6

Merge branch 'master' into map-inv

60a01328

mergify merged 1c449b6c into master 5 years ago

mergify deleted the map-inv branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone