Code

refactor: getUnfoldableConst*?#5997

Code

Merged

Kha merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom Kha:push-xqpvqmqwlqxpKha/lean4:push-xqpvqmqwlqxpCopy head branch name to clipboardJan 19, 2025

+22-23

Commits

Commits on Jan 18, 2025

• avoid unnecessary getUnfoldableConstNoEx?s

  Kha

  committed
  a88a20c

  Copy full SHA for a88a20c

• avoid unnecessary getUnfoldableConst?

  Kha

  committed
  a273f91

  Copy full SHA for a273f91

• getUnfoldableConst*? should only return defs/theorems

  Kha

  committed
  b4a1ca1

  Copy full SHA for b4a1ca1