Theorem Prefunctor.isCovering_of_bijective_costar

Modification history