mathlib3
feat(meta/expr,data/rat/basic): add rat.reflect
#1565
Merged
Overview
Commits
12
Changes
View On GitHub

feat(meta/expr,data/rat/basic): add rat.reflect #1565

mergify merged 12 commits into master from reflect_rat
robertylewis
robertylewis feat(meta/expr,data/rat/basic): add rat.reflect
c24ce749
robertylewis doc(meta/expr,data/rat/basic): clarify type restrictions for mk_numer…
e7364dbd
robertylewis robertylewis added awaiting-review
jcommelin
jcommelin commented on 2019-10-18
robertylewis fix name clash with norm_num functions
3faa732d
robertylewis fix doc string to expr.of_rat
12dd463f
rwbarton
rwbarton commented on 2019-10-21
rwbarton
rwbarton commented on 2019-10-21
rwbarton
rwbarton commented on 2019-10-21
robertylewis Update src/data/rat/basic.lean
89687547
robertylewis fix declaration and move to new file
deee1130
robertylewis tests
f75e9f1c
robertylewis
robertylewis fix import
f9539630
robertylewis protect rat.reflect
3054cbef
kim-em
kim-em commented on 2019-10-22
kim-em
robertylewis to_pos_rat --> to_nonneg_rat
6bed4866
robertylewis
rwbarton
rwbarton commented on 2019-10-23
robertylewis correctly test rat.reflect
32ec28e0
robertylewis robertylewis assigned rwbarton rwbarton 6 years ago
rwbarton
rwbarton approved these changes on 2019-10-24
rwbarton rwbarton removed awaiting-review
rwbarton rwbarton added ready-to-merge
mergify[bot] Merge branch 'master' into reflect_rat
fe407494
mergify mergify merged 151bcbe2 into master 6 years ago
mergify mergify deleted the reflect_rat branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum