Theorem NNRat.cast_lt_natCast

Modification history