Code

[lambda] agree_upto_lemma#1348

Code

Merged

mn200 merged 1 commit intoHOL-Theorem-Prover:developHOL-Theorem-Prover/HOL:developfrom binghe:agree_upto_lemmabinghe/HOL:agree_upto_lemmaCopy head branch name to clipboardNov 19, 2024

+5,347-1,192

Commits

Commits on Nov 19, 2024

• [lambda] agree_upto_lemma

  binghe

  committed
  4d5840c