Theorem NNRat.cast_prod

Modification history