Def Mathlib.Tactic.Ring.ExProd.mkNNRat

Modification history