Theorem fin_injective

Modification history