Code

Add Frobenius elements#18

Code

Merged

kbuzzard merged 12 commits intomainImperialCollegeLondon/FLT:mainfrom CrazyFrobeniusImperialCollegeLondon/FLT:CrazyFrobeniusCopy head branch name to clipboardMay 6, 2024

+976

Commits

Commits on Mar 21, 2024

• Crazy!!!!!!!!!!!!!!!!!!!!

  jouglasheen

  authored
  6965864

  Copy full SHA for 6965864

Commits on Mar 23, 2024

• fix

  jjaassoonn

  committed
  1661c52

  Copy full SHA for 1661c52

Commits on Mar 28, 2024

• Add files via upload

  jouglasheen

  authored
  73d5105

  Copy full SHA for 73d5105

Commits on Apr 27, 2024

• Add files via upload

  jouglasheen

  authored
  3d55b14

  Copy full SHA for 3d55b14

Commits on Apr 30, 2024

• changed title

  jouglasheen

  committed
  0ba1326

  Copy full SHA for 0ba1326

• Merge remote-tracking branch 'origin/main' into CrazyFrobenius

  jjaassoonn

  committed
  76f5de1

  Copy full SHA for 76f5de1

• fix?

  jjaassoonn

  committed
  be3f2fb

  Copy full SHA for be3f2fb

Commits on May 1, 2024

• removed some comments

  jouglasheen

  committed
  84b4a4c

  Copy full SHA for 84b4a4c

Commits on May 6, 2024

• Delete FLT/CrazyFrobenius.lean

  Show description for 42d9237
  jouglasheen

  authored
  42d9237

  Copy full SHA for 42d9237

• Merge remote-tracking branch 'origin/main' into CrazyFrobenius

  jouglasheen

  committed
  57b9dcd

  Copy full SHA for 57b9dcd

• Merge branch 'main' into CrazyFrobenius

  kbuzzard

  committed
  c8294a2

  Copy full SHA for c8294a2

• put autoimplicits back to get file compiling

  kbuzzard

  committed
  256cf5c

  Copy full SHA for 256cf5c