Theorem Prod.mk_right_injective

Modification history