Theorem Fin.val_nat_cast

Modification history