Def Mathlib.Tactic.Ring.ExProd.mkNegNNRat

Modification history