Michal–Bastiani calculus on locally convex spaces, formalized in Lean 4 / Mathlib
Lean Updated 5 days ago 1 commits
prism-dev|Mirror: glaroton/lc-analysis (⭐0)
5 days agoAbout
Michal–Bastiani calculus on locally convex spaces, formalized in Lean 4 / Mathlib
Readme