Theorem Fin.val_succEmbedding

Modification history