Theorem Prefunctor.isCovering_of_bijective_star

Modification history