Theorem NNRat.natCast_lt_cast

Modification history