Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 30, 2026

• Tags: Added new tags

  aisejohan

  committed
  21dcd47

  Copy full SHA for 21dcd47

• Try to fix XyJaX problem

  aisejohan

  committed
  fab3b56

  Copy full SHA for fab3b56

• t -> y two times

  Show description for 809daf9
  aisejohan

  committed
  809daf9

  Copy full SHA for 809daf9

• Explain why regular element

  Show description for 5dcb69e
  aisejohan

  committed
  5dcb69e

  Copy full SHA for 5dcb69e

• Fix typo in proof

  Show description for 7d68fb8
  aisejohan

  committed
  7d68fb8

  Copy full SHA for 7d68fb8

• Fix internal reference

  Show description for 48b8a2b
  aisejohan

  committed
  48b8a2b

  Copy full SHA for 48b8a2b

• Affine open

  Show description for 206f6aa
  aisejohan

  committed
  206f6aa

  Copy full SHA for 206f6aa

• point -> field

  Show description for 8c91fb0
  aisejohan

  committed
  8c91fb0

  Copy full SHA for 8c91fb0

• Add external reference

  Show description for b59985a
  aisejohan

  committed
  b59985a

  Copy full SHA for b59985a

• Fix language in a proof in algebra

  Show description for af6789d
  aisejohan

  committed
  af6789d

  Copy full SHA for af6789d

• Fix internal reference

  Show description for 2ce04b4
  aisejohan

  committed
  2ce04b4

  Copy full SHA for 2ce04b4

• Snafu in a sentence of a proof in pic

  Show description for d36728f
  aisejohan

  committed
  d36728f

  Copy full SHA for d36728f

• Z -> X

  Show description for ac3d720
  aisejohan

  committed
  ac3d720

  Copy full SHA for ac3d720

• Be more precise

  Show description for 17f3bb7
  aisejohan

  committed
  17f3bb7

  Copy full SHA for 17f3bb7

• Fix nonsensical lemma

  Show description for e8b2b57
  aisejohan

  committed
  e8b2b57

  Copy full SHA for e8b2b57

• j -> c

  Show description for 0711d22
  aisejohan

  committed
  0711d22

  Copy full SHA for 0711d22

• Say what we are doing

  Show description for 99c8125
  aisejohan

  committed
  99c8125

  Copy full SHA for 99c8125

• Missing a 2 x

  Show description for 9c735ee
  aisejohan

  committed
  9c735ee

  Copy full SHA for 9c735ee

• Fix proof structure tamely ramified in cod 1

  Show description for ebb7802
  aisejohan

  committed
  ebb7802

  Copy full SHA for ebb7802

• Apply the lemma to taking nth root of uniformizer

  aisejohan

  committed
  5fad03a

  Copy full SHA for 5fad03a

• Only need to look at eth roots of 1 in prev commit

  aisejohan

  committed
  09a2289

  Copy full SHA for 09a2289

Commits on Jan 27, 2026

• Fix a bad snafu in Fields

  Show description for 9d8a63f
  aisejohan

  committed
  9d8a63f

  Copy full SHA for 9d8a63f

• Add reference to internal lemma

  Show description for 82a46bb
  aisejohan

  committed
  82a46bb

  Copy full SHA for 82a46bb

• Shorten a proof

  Show description for 22fc7f2
  aisejohan

  committed
  22fc7f2

  Copy full SHA for 22fc7f2

• Upgrade a lemma in algebra

  Show description for 3013f02
  aisejohan

  committed
  3013f02

  Copy full SHA for 3013f02

Commits on Jan 26, 2026

• Upgrade a remark

  Show description for d9c786b
  aisejohan

  committed
  d9c786b

  Copy full SHA for d9c786b

• Shorten a proof

  Show description for 261bcf0
  aisejohan

  committed
  261bcf0

  Copy full SHA for 261bcf0

• X -> Y

  Show description for d5fd742
  aisejohan

  committed
  d5fd742

  Copy full SHA for d5fd742

• Remove superfluous text

  Show description for efae5d9
  aisejohan

  committed
  efae5d9

  Copy full SHA for efae5d9

• Fallout from previous commit

  aisejohan

  committed
  0aeb8c7

  Copy full SHA for 0aeb8c7

• Fix statement of a lemma

  Show description for 5132fa5
  aisejohan

  committed
  5132fa5

  Copy full SHA for 5132fa5

• Insert outside reference

  Show description for 89af6f8
  aisejohan

  committed
  89af6f8

  Copy full SHA for 89af6f8

• Fix snafu in a proof

  Show description for 7b4725b
  aisejohan

  committed
  7b4725b

  Copy full SHA for 7b4725b

• Insert missing prime

  Show description for ba33e88
  aisejohan

  committed
  ba33e88

  Copy full SHA for ba33e88

• Clarify an argument

  Show description for 73c80da
  aisejohan

  committed
  73c80da

  Copy full SHA for 73c80da