Code

Binomial combinatorics#1926

Code

Merged

MatthewDaggitt merged 18 commits intoagda:masteragda/agda-stdlib:masterfrom jamesmckinna:binomial-combinatoricsjamesmckinna/agda-stdlib:binomial-combinatoricsCopy head branch name to clipboardApr 18, 2023

Commits

Commits on Feb 13, 2023

• key combinatorial lemma for binomial theorem

  jamesmckinna

  committed
  66aeabb

  Copy full SHA for 66aeabb

• fix whitespace

  jamesmckinna

  committed
  06f0f8d

  Copy full SHA for 06f0f8d

• typo: dropped comment character

  jamesmckinna

  committed
  97f07b9

  Copy full SHA for 97f07b9

Commits on Feb 14, 2023

• cosmetics

  jamesmckinna

  committed
  b91e948

  Copy full SHA for b91e948

• removed, and remoed need for 1\!≡1

  jamesmckinna

  committed
  ecf3cfc

  Copy full SHA for ecf3cfc

Commits on Feb 20, 2023

• punchOut preserves ordering (agda#1913)

  Taneb

  authored
  692b6fa

  Copy full SHA for 692b6fa

• opposite of a Ring [clean version of pr agda#1900] (agda#1910)

  jamesmckinna

  authored
  7772dee

  Copy full SHA for 7772dee

• Wellfounded proof for sum relations (agda#1920)

  Seiryn21

  authored
  da073f1

  Copy full SHA for da073f1

Commits on Feb 23, 2023

• Merge branch 'binomial-combinatorics' of https://github.com/jamesmckinna/agda-stdlib into binomial-combinatorics

  jamesmckinna

  committed
  ca72ec3

  Copy full SHA for ca72ec3

• moved lemma

  jamesmckinna

  committed
  9e7e36c

  Copy full SHA for 9e7e36c

• fixed merge commit; lifted out lemmas; tweaked

  jamesmckinna

  committed
  72342a5

  Copy full SHA for 72342a5

Commits on Apr 17, 2023

• Revert "Fix two whitespace violations (agda#1922)"

  Show description for 46e4477
  jamesmckinna

  committed
  46e4477

  Copy full SHA for 46e4477

• Revert "punchOut preserves ordering (agda#1913)"

  Show description for bb73b03
  jamesmckinna

  committed
  bb73b03

  Copy full SHA for bb73b03

• Revert "opposite of a Ring [clean version of pr agda#1900] (agda#1910)"

  Show description for ccd9677
  jamesmckinna

  committed
  ccd9677

  Copy full SHA for ccd9677

• Revert "Wellfounded proof for sum relations (agda#1920)"

  Show description for 18ae346
  jamesmckinna

  committed
  18ae346

  Copy full SHA for 18ae346

• Revert "moved lemma"

  Show description for 55fd190
  jamesmckinna

  committed
  55fd190

  Copy full SHA for 55fd190

• hopefully fixed now

  jamesmckinna

  committed
  805d361

  Copy full SHA for 805d361

• recommitted the whitespace change; tree should be clean now?

  jamesmckinna

  committed
  2da92fe

  Copy full SHA for 2da92fe