lemmas for continued fractions
#1433

Merged

feat(algebra/continued_fractions): add basic defs/lemmas for continued fractions #1433

mergify merged 7 commits into master from kappelmann_cf

kappelmann requested a review 6 years ago

kappelmann commented on 2019-09-11

kim-em commented on 2019-09-11

kim-em commented on 2019-09-12

kappelmann force pushed from ec2909fc to 5710cb4a 6 years ago

kappelmann commented on 2019-09-12

feat(algebra/continued_fractions): add basic defs/lemmas for continue…

013fb775

kappelmann force pushed from 5710cb4a to 013fb775 6 years ago

Merge branch 'master' into kappelmann_cf

d7b460a3

cipher1024 assigned

jcommelin 6 years ago

jcommelin unassigned

jcommelin 6 years ago

jcommelin assigned

kim-em 6 years ago

jcommelin assigned

sgouezel 6 years ago

Rename termiantes_at to terminated_at, use long names for cont. fracts.

5fd63b2d

Merge branch 'master' into kappelmann_cf

cc147484

robertylewis commented on 2019-09-23

sgouezel commented on 2019-09-23

Fix indentation, remove subfolders, fix docstrings

8eaa12f1

kim-em approved these changes on 2019-09-24

kim-em added ready-to-merge

Merge branch 'master' into kappelmann_cf

116f2db4

Merge branch 'master' into kappelmann_cf

0f6179b6

mergify merged 201174d0 into master 6 years ago

mergify deleted the kappelmann_cf branch 6 years ago

Reviewers

kim-em

sgouezel

robertylewis

jcommelin

Assignees

kim-em

sgouezel

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(algebra/continued_fractions): add basic defs/lemmas for continued fractions #1433 Merged

feat(algebra/continued_fractions): add basic defs/lemmas for continued fractions #1433

mathlib3
feat(algebra/continued_fractions): add basic defs/lemmas for continued fractions
#1433

Merged