Theorem NNRat.cast_def

Modification history