Def Mathlib.Meta.List.ProveNilOrConsResult.eq_trans

Modification history