Theorem Prefunctor.pathStar_bijective

Modification history