Lean mathematical components library - View it on GitHub