def
Duper.mkFluidBoolHoistProof
(pos : ClausePos)
(isFluidLoobHoist : Bool)
(premises : List Lean.Expr)
(parents : List RuleM.ProofParent)
(transferExprs : Array Lean.Expr)
(c : Clause)
:
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.