Idris.Elab.Rewrite

elabRewrite

elabRewriteLemma