P
Initializing...
The holonomy functor is faithful · Prove2Me