mathlib3
feat(data/fin): coe_eq_val and coe_mk
#1321
Merged

feat(data/fin): coe_eq_val and coe_mk #1321

mergify merged 2 commits into master from ChrisHughes24-patch-1
ChrisHughes24
ChrisHughes24 feat(data/fin): coe_eq_val and coe_mk
c9c7e12e
ChrisHughes24 ChrisHughes24 requested a review 6 years ago
urkud
PatrickMassot
ChrisHughes24
PatrickMassot
ChrisHughes24
cipher1024
cipher1024 cipher1024 assigned jcommelin jcommelin 6 years ago
jcommelin
jcommelin jcommelin added ready-to-merge
jcommelin
jcommelin approved these changes on 2019-08-26
mergify[bot] Merge branch 'master' into ChrisHughes24-patch-1
bbefa6f9
mergify mergify merged 7bc18a84 into master 6 years ago
mergify mergify deleted the ChrisHughes24-patch-1 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
Milestone