Theorem Real.natCast_lt_toNNReal

Modification history