Skip to content

Add the fundamental group functor#256

Merged
ScriptRaccoon merged 2 commits into
mainfrom
pi_1
Jun 27, 2026
Merged

Add the fundamental group functor#256
ScriptRaccoon merged 2 commits into
mainfrom
pi_1

add the fundamental group functor \pi_1

e07207f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar