Theorem Mathlib.Meta.NormNum.isRat_ratCast

Modification history