Theorem Fin.val_add_eq_ite

Modification history