mathlib3
feat(rat): give Q-algebra structure on field
#1628
Merged

feat(rat): give Q-algebra structure on field #1628

mergify merged 2 commits into master from rat_algebra
fpvandoorn
fpvandoorn feat(rat): give Q-algebra structure on field
f1a36fa8
fpvandoorn fpvandoorn added awaiting-review
ChrisHughes24 ChrisHughes24 added ready-to-merge
ChrisHughes24
ChrisHughes24 approved these changes on 2019-10-28
mergify[bot] Merge branch 'master' into rat_algebra
6150b547
mergify mergify merged b9e3dbba into master 6 years ago
mergify mergify deleted the rat_algebra branch 6 years ago
YaelDillies YaelDillies removed awaiting-review

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone