Theorem NNRat.cast_ofNat

Modification history