Theorem Fin.last_pos

Modification history