Theorem Prefunctor.pathStar_injective

Modification history