Theorem Mathlib.Meta.NormNum.isNNRat_lt_false

Modification history