Theorem Prefunctor.mapPath_comp_apply

Modification history