Theorem Prefunctor.costar_comp

Modification history