Theorem NNRat.cast_mul

Modification history