Skip to content

feat(Analysis): from C¹-manifold to real analytic - #652

Open
alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:C1ToAnalytic
Open

feat(Analysis): from C¹-manifold to real analytic#652
alreadydone wants to merge 2 commits into
leanprover:mainfrom
alreadydone:C1ToAnalytic

add comment and remove namespace causing CI failure

7a177a4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Classify changes
succeeded Sep 26, 2026 in 1m 7s