Theorem Prefunctor.pathStar_surjective

Modification history