2019 03 26 Meeting - math-comp/analysis GitHub Wiki

What has been done meanwhile
- rebase pull requests
- formalization of Hahn-Banach (partial functions)
- branch on sequences

Suggestions