Theorem Prefunctor.star_comp

Modification history