Theorem NNRat.cast_divNat

Modification history