Def Mathlib.Tactic.Rewrites.RewriteResult.ppResult

Modification history