Theorem NNRat.den_zero

Modification history