Theorem Prefunctor.costar_apply

Modification history