Theorem Prod.mk_left_injective

Modification history