Code

feat: tidy up co/bi/hopf algebra#15

Code

Merged

kbuzzard merged 6 commits intomainImperialCollegeLondon/FLT:mainfrom zjj/cleanUpBialgImperialCollegeLondon/FLT:zjj/cleanUpBialgCopy head branch name to clipboardMar 13, 2024

+588-1,179

Commits

Commits on Mar 8, 2024

• initial

  jjaassoonn

  committed
  e1a032d

  Copy full SHA for e1a032d

• make file smaller, and copy right header

  jjaassoonn

  committed
  27eb53b

  Copy full SHA for 27eb53b

Commits on Mar 10, 2024

• finish

  jjaassoonn

  committed
  4c96283

  Copy full SHA for 4c96283

• some doc

  jjaassoonn

  committed
  89ec152

  Copy full SHA for 89ec152

• one missing lemma

  jjaassoonn

  committed
  a4b0cef

  Copy full SHA for a4b0cef

• missing lemma

  jjaassoonn

  committed
  420374b

  Copy full SHA for 420374b