Theorem Mathlib.Meta.NormNum.isNNRat_ofScientific_of_true

Modification history