Theorem Fin.predAbove_left_inj

Modification history