Theorem Mathlib.Meta.NormNum.isNNRat_ratCast

Modification history