banach): split proof to avoid timeout
#2053

Merged

chore(analyis/normed_space/banach): split proof to avoid timeout #2053

mergify merged 5 commits into master from timeout

chore(analyis/normed_space/banach): split proof to avoid timeout

6bba6396

kim-em requested a review from

sgouezel 6 years ago

delay introducing unnecessary variable

32a2fba0

sgouezel commented on 2020-02-25

sgouezel added awaiting-author

Apply suggestions from code review

58350ab6

fix indent

b481ce06

kim-em removed awaiting-author

kim-em added awaiting-review

sgouezel approved these changes on 2020-02-25

sgouezel removed awaiting-review

sgouezel added ready-to-merge

Merge branch 'master' into timeout

f4bdb38e

mergify merged 06c55940 into master 6 years ago

mergify deleted the timeout branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone