Theorem Mathlib.Meta.NormNum.isNNRat_eq_false

Modification history