Theorem Prefunctor.pathStar_apply

Modification history