Theorem Mon_.hom_injective

Modification history