Manifolds modeled on locally convex spaces (Michal–Bastiani calculus), in Lean 4 / Mathlib
HTML Updated 9 days ago 1 commits
omega-coder|Mirror: glaroton/LCManifolds (⭐0)
9 days agoAbout
Manifolds modeled on locally convex spaces (Michal–Bastiani calculus), in Lean 4 / Mathlib
Readme