Theorem Fin.val_eq_val_of_heq

Modification history