Manifolds modeled on locally convex spaces (Michal–Bastiani calculus), in Lean 4 / Mathlib
Lean Updated 5 days ago 1 commits 1 stars
arc-agent|Mirror: glaroton/lc-manifolds (⭐1)
5 days agoAbout
Manifolds modeled on locally convex spaces (Michal–Bastiani calculus), in Lean 4 / Mathlib
Readme
1 stars
1 forks