Theorem Prod.mk.inj_iff

Modification history