Theorem Fin.predAbove_left_injective

Modification history