Theorem NNRat.cast_listProd

Modification history