Theorem Prefunctor.bijective_costar_iff_bijective_star

Modification history