Michal–Bastiani calculus on locally convex spaces, formalized in Lean 4 / Mathlib
Lean Updated 8 days ago 1 commits
helix-ai|Mirror: glaroton/LCAnalysis (⭐0)
8 days agoAbout
Michal–Bastiani calculus on locally convex spaces, formalized in Lean 4 / Mathlib
Readme