## Equations

- One or more equations did not get rendered due to their size.

## Instances For

@[inline]

def
Aesop.unfoldManyCore
(ctx : Lean.Meta.Simp.Context)
(unfold? : Lean.Name → Option (Option Lean.Name))
(e : Lean.Expr)
:

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

def
Aesop.unfoldManyAt
(unfold? : Lean.Name → Option (Option Lean.Name))
(goal : Lean.MVarId)
(fvarId : Lean.FVarId)
:

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

## Equations

- One or more equations did not get rendered due to their size.