Theorem Fin.val_add_one_of_lt'

Modification history