Commits

Breadcrumbs

History for

onc6b3276

User selector

All users

All time

Commit History

Commits on Oct 31, 2025

• feat(Counterexamples): A ring such that dim A = 1 but dim A[x] = 3 (#29497)

  Show description for cbec5d4
  xyzw12345

  committed
  cbec5d4

  Copy full SHA for cbec5d4

Commits on Oct 12, 2025

• feat(Counterexamples): Euler's sum of powers conjecture (#29110)

  Show description for 5fb64f8
  SnirBroshi

  committed
  5fb64f8

  Copy full SHA for 5fb64f8

Commits on Oct 8, 2025

• feat: separable but not second countable LOTS (#29920)

  urkud

  committed
  d9328bf

  Copy full SHA for d9328bf

Commits on Oct 3, 2025

• feat(Algebra): IsDomain R[X] ↔ IsDomain R ∧ IsCancelAdd R (#27238)

  Show description for 32e6452
  

  alreadydone

  and

  eric-wieser

  committed
  32e6452

  Copy full SHA for 32e6452

Commits on Aug 16, 2025

• chore: more elementary Motzkin polynomial proof (#28482)

  Show description for 200191b
  hrmacbeth

  committed
  200191b

  Copy full SHA for 200191b

• feat(Counterexamples): topologists' sine curve (#25833)

  Show description for a748031
  loefflerd

  committed
  a748031

  Copy full SHA for a748031

Commits on Mar 12, 2025

• feat(Counterexamples): disproof of the Aharoni–Korman conjecture (#20082)

  Show description for 0dfdbd4
  

  3 peoplecommitted
  0dfdbd4

  Copy full SHA for 0dfdbd4

Commits on Dec 20, 2024

• feat(Counterexamples): irrational a, b with rational a^b (#19931)

  Show description for 77833b2
  seewoo5

  committed
  77833b2

  Copy full SHA for 77833b2

Commits on Dec 12, 2024

• feat(Counterexamples/DiscreteTopologyNonDiscreteUniformity): add a counterexample about discrete uniformity and Cauchy filters (#17417)

  Show description for 67e672d
  faenuccio

  committed
  67e672d

  Copy full SHA for 67e672d

Commits on Sep 23, 2024

• feat(Counterexamples/GameMultiplication): pre-game product cannot be lifted to games (#15764)

  Show description for 9890065
  vihdzp

  committed
  9890065

  Copy full SHA for 9890065

Commits on May 4, 2024

• style: capitalizes file names in `Counterexamples` (#12615)

  Komyyy

  committed
  25b2fcc

  Copy full SHA for 25b2fcc

Commits on Dec 18, 2023

• feat: OrderedCancelAddCommMonoidWithBounds is bad (#9072)

  madvorak

  committed
  6fab96d

  Copy full SHA for 6fab96d

Commits on Nov 3, 2023

• feat(Counterexamples/CliffordAlgebra_not_injective): algebraMap is not always injective. (#6657)

  Show description for b49464e
  

  eric-wieser

  and

  digama0

  committed
  b49464e

  Copy full SHA for b49464e

Commits on Aug 10, 2023

• feat: counterexample to `Monic => regular` in general semirings (#6476)

  Show description for 27940a5
  

  adomani

  and

  eric-wieser

  committed
  27940a5

  Copy full SHA for 27940a5

Commits on Jul 5, 2023

• feat: port Counterexamples.HomogeneousPrimeNotPrime (#5287)

  Show description for 8c0a68a
  

  mo271

  and

  jcommelin

  committed
  8c0a68a

  Copy full SHA for 8c0a68a

Commits on Jul 4, 2023

• feat: port Counterexamples.SorgenfreyLine (#4978)

  Show description for c60a13f
  

  4 peoplecommitted
  c60a13f

  Copy full SHA for c60a13f

Commits on Jul 3, 2023

• feat: port Counterexamples.Pseudoelement (#5209)

  Show description for 550a10d
  

  int-y1

  and

  jcommelin

  committed
  550a10d

  Copy full SHA for 550a10d

Commits on Jun 21, 2023

• feat: port Counterexamples.Phillips (#5282)

  Komyyy

  committed
  63c43dd

  Copy full SHA for 63c43dd

Commits on Jun 17, 2023

• feat: port Counterexamples.ZeroDivisorsInAddMonoidAlgebras (#5163)

  Komyyy

  committed
  41f6fc5

  Copy full SHA for 41f6fc5

• feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)

  Komyyy

  committed
  c143082

  Copy full SHA for c143082

Commits on Jun 16, 2023

• feat: port Counterexamples.MapFloor (#5147)

  Parcly-Taxel

  committed
  2094440

  Copy full SHA for 2094440

• feat: port Counterexamples.SeminormLatticeNotDistrib (#5122)

  Parcly-Taxel

  committed
  1b4850d

  Copy full SHA for 1b4850d

• feat: port Counterexamples.CharPZeroNeCharZero (#5120)

  Parcly-Taxel

  committed
  2da7482

  Copy full SHA for 2da7482

• feat: port Counterexamples.DirectSumIsInternal (#4812)

  Show description for 7fb05c0
  

  eric-wieser

  and

  Parcly-Taxel

  committed
  7fb05c0

  Copy full SHA for 7fb05c0

• feat: port Counterexamples.LinearOrderWithPosMulPosEqZero (#5124)

  Parcly-Taxel

  committed
  18f81f5

  Copy full SHA for 18f81f5

• feat: port Counterexamples.QuadraticForm (#5121)

  Parcly-Taxel

  committed
  74d091e

  Copy full SHA for 74d091e

• feat: port Counterexamples.Cyclotomic105 (#5117)

  Komyyy

  committed
  a1244a4

  Copy full SHA for a1244a4

• feat: port Counterexamples.Girard (#5099)

  urkud

  committed
  4d84a36

  Copy full SHA for 4d84a36

Commits on Jun 15, 2023

• feat(ci): add ci for Archive and Counterexamples (#5078)

  Show description for 2f33ff1
  eric-wieser

  committed
  2f33ff1

  Copy full SHA for 2f33ff1

Loading