Theorem NNRat.cast_listSum

Modification history