Theorem Prefunctor.costar_conj_star

Modification history