Theorem Fin.ne_last_of_lt

Modification history