Def Mathlib.Meta.NormNum.Result.eq_trans

Modification history