Theorem Fin.val_succEmb

Modification history