Code

Yunzhou xie hopf#14

Code

Merged

kbuzzard merged 4 commits intomainImperialCollegeLondon/FLT:mainfrom YunzhouXie-HopfImperialCollegeLondon/FLT:YunzhouXie-HopfCopy head branch name to clipboardMar 8, 2024

+1,179

Commits

Commits on Feb 22, 2024

• Add files via upload

  Whysoserioushah

  authored
  680cb14

  Copy full SHA for 680cb14

Commits on Mar 1, 2024

• Add files via upload

  Whysoserioushah

  authored
  1a867a6

  Copy full SHA for 1a867a6

Commits on Mar 2, 2024

• Don't need this anymore my file is up-to-date with mathlib4 :))

  Whysoserioushah

  authored
  ea4206d

  Copy full SHA for ea4206d

Commits on Mar 7, 2024

• Works on newest Mathlib

  Whysoserioushah

  authored
  47a8270

  Copy full SHA for 47a8270