Theorem Mathlib.Meta.NormNum.isNNRat_le_true

Modification history