mathlib3
feat(algebra/euclidean_domain): div_zero
#666
Merged

feat(algebra/euclidean_domain): div_zero #666

ChrisHughes24 merged 2 commits into master from div-zero
kckennylau
kckennylau
kckennylau kckennylau force pushed from 7c48e5f8 to 5e09dd02 6 years ago
kckennylau feat(algebra/euclidean_domain): div_zero
cc2f430f
kckennylau kckennylau force pushed from 5e09dd02 to cc2f430f 6 years ago
ChrisHughes24
kckennylau
ChrisHughes24
ChrisHughes24 approved these changes on 2019-02-01
cipher1024 cipher1024 assigned ChrisHughes24 ChrisHughes24 6 years ago
ChrisHughes24 Merge branch 'master' into div-zero
f25bd294
ChrisHughes24
ChrisHughes24 approved these changes on 2019-02-01
ChrisHughes24 ChrisHughes24 merged ed0d24af into master 6 years ago
ChrisHughes24 ChrisHughes24 deleted the div-zero branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
Milestone