mathlib3
feat(algebra/euclidean_domain): discrete field to euclidean domain
#674

Merged

feat(algebra/euclidean_domain): discrete field to euclidean domain #674

ChrisHughes24 merged 1 commit into master from discrete-field-ed

feat(algebra/euclidean_domain): discrete field to euclidean domain

dbfad592

kckennylau requested a review from

ChrisHughes24 7 years ago

kckennylau assigned

ChrisHughes24 7 years ago

kckennylau requested a review from

digama0 7 years ago

ChrisHughes24 approved these changes on 2019-02-02

ChrisHughes24 merged 044b6fae into master 7 years ago

ChrisHughes24 deleted the discrete-field-ed branch 7 years ago

Reviewers

ChrisHughes24

digama0

Assignees

ChrisHughes24

Labels

None yet

Milestone

No milestone