PR #1777 feat(algebra/field): remove is_field_hom

feat(algebra/field): remove is_field_hom #1777

mergify merged 4 commits into master from field-hom

feat(algebra/field): remove is_field_hom

260d6533

Fix up nolints.txt

85da1076

bryangingechen commented on 2019-12-04

Remove duplicate instances

1d39a5f2

ChrisHughes24 approved these changes on 2019-12-05

ChrisHughes24 added ready-to-merge

Merge branch 'master' into field-hom

3a937cab

mergify merged de377ea3 into master 6 years ago

mergify deleted the field-hom branch 6 years ago

Reviewers

ChrisHughes24

bryangingechen

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone