Theorem Prefunctor.IsCovering.map_injective

Modification history