Theorem Part.some_injective

Modification history