Commit 2020-02-25 19:22 06c55940
View on Github →chore(analyis/normed_space/banach): split proof to avoid timeout (#2053)
- chore(analyis/normed_space/banach): split proof to avoid timeout
- delay introducing unnecessary variable
- Apply suggestions from code review Co-Authored-By: sgouezel [email protected]
- fix indent