Theorem Fin.val_two

Modification history