Theorem Mathlib.Meta.NormNum.IsNNRat.to_raw_eq

Modification history