Theorem Fin.cons_left_injective

Modification history