Theorem NNRat.cast_add

Modification history