Theorem conj_injective

Modification history