Skip to content

Change IsManifold from instance to theorem and put the instance after… - #2

Merged
pepamontero merged 2 commits into
pepamontero:OrbitSpace-IsManifoldfrom
qdiazblanco:OrbitSpace-IsManifold-theorem
Jul 10, 2026
Merged

Change IsManifold from instance to theorem and put the instance after…#2
pepamontero merged 2 commits into
pepamontero:OrbitSpace-IsManifoldfrom
qdiazblanco:OrbitSpace-IsManifold-theorem

Merge branch 'OrbitSpace-IsManifold' into OrbitSpace-IsManifold-theorem

5ca5d7c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.