Theorem bit1_injective

Modification history