Theorem Sigma.mk.inj_iff

Modification history