Theorem bit0_injective

Modification history