Theorem NNRat.num_zero

Modification history