Theorem NNRat.cast_zero

Modification history