Theorem NNRat.divNat_zero

Modification history