Theorem NNRat.val_eq_cast

Modification history