Code

Proved B is finite#211

Code

Closed

4hma4d wants to merge 2 commits intoImperialCollegeLondon:mainImperialCollegeLondon/FLT:mainfrom 4hma4d:FiniteClosure4hma4d/FLT:FiniteClosureCopy head branch name to clipboard

+3-3

Commits

Commits on Nov 8, 2024

• Proved theorem

  4hma4d

  committed
  0cf0aed

  Copy full SHA for 0cf0aed

Commits on Nov 9, 2024

• shortened proof

  4hma4d

  committed
  fc59045

  Copy full SHA for fc59045