All workflows

Workflow runs

• proof without Archimedean

  skipped:
  continuous integration#348:Commit488c435pushedbylua-vr
  addcircle-infinite

  Nov 3, 20261s
  More actions for workflow run 348

• more general lemma for functions

  skipped:
  continuous integration#347:Commitfbd0a22pushedbylua-vr
  lyapunov-convexity

  Nov 2, 20261s
  More actions for workflow run 347

• use AddCircle.map for ratAddCircle

  skipped:
  continuous integration#346:Commitc6bdc05pushedbylua-vr
  vitali-set

  Nov 2, 202610s
  More actions for workflow run 346

• [pre-commit.ci lite] pre-commit run --all-files

  skipped:
  continuous integration#345:Commit5868524pushedbypre-commit-ci-lite[bot]Bot
  vitali-set

  Nov 2, 20268s
  More actions for workflow run 345

• use AddCircle.map for ratAddCircle

  skipped:
  continuous integration#344:Commit00d3822pushedbylua-vr
  vitali-set

  Nov 2, 20268s
  More actions for workflow run 344

• feat(GroupTheory/Coset/Card): quotients of countable groups are count…

  skipped:
  continuous integration#343:Commit5c93a96pushedbylua-vr
  quotientgroup-countable

  Nov 2, 20261s
  More actions for workflow run 343

• feat(GroupTheory/Coset/Card): quotients of countable groups are count…

  skipped:
  continuous integration#342:Commit4389f40pushedbylua-vr
  quotientgroup-countable

  Nov 2, 20262s
  More actions for workflow run 342

• use f p ∈ zmultiples q

  skipped:
  continuous integration#341:Commit093a0bepushedbylua-vr
  addcircle-map

  Nov 2, 20268s
  More actions for workflow run 341

• remove Finite.dense_iff

  skipped:
  continuous integration#340:Commitc2fff6fpushedbylua-vr
  dense-infinite

  Nov 2, 20261s
  More actions for workflow run 340

• simpa → simp

  skipped:
  continuous integration#339:Commite1985d9pushedbylua-vr
  addcircle-infinite

  Nov 2, 20261s
  More actions for workflow run 339

• simpa → simp

  skipped:
  continuous integration#338:Commitdfa329bpushedbylua-vr
  addcircle-infinite

  Nov 2, 20261s
  More actions for workflow run 338

• feat(Topology/Instances/AddCircle): maps between AddCircles induced b…

  skipped:
  continuous integration#337:Commit88cde38pushedbylua-vr
  addcircle-map

  Nov 2, 20261s
  More actions for workflow run 337

• feat(GroupTheory/QuotientGroup): add QuotientGroup.map_injective_iff

  skipped:
  continuous integration#336:Commit1be3403pushedbylua-vr
  quotientgroup-map-injective

  Nov 2, 20261s
  More actions for workflow run 336

• feat(Topology/Instances/AddCircle): maps between AddCircles induced b…

  skipped:
  continuous integration#335:Commitf13853fpushedbylua-vr
  addcircle-map

  Nov 2, 20261s
  More actions for workflow run 335

• feat(Topology/Separation/Basic): dense sets in infinite T1 spaces are…

  skipped:
  continuous integration#334:Commit9dbd24bpushedbylua-vr
  dense-infinite

  Nov 2, 20261s
  More actions for workflow run 334

• feat(Topology/Separation/Basic): dense sets in infinite T1 spaces are…

  skipped:
  continuous integration#333:Commitb09f551pushedbylua-vr
  dense-infinite

  Nov 2, 20261s
  More actions for workflow run 333

• feat(Topology/Instances/AddCircle): AddCircle p is infinite over a …

  skipped:
  continuous integration#332:Commitdf5ee8dpushedbylua-vr
  addcircle-infinite

  Nov 2, 20261s
  More actions for workflow run 332

• min_imports

  skipped:
  continuous integration#331:Commit46b6489pushedbylua-vr
  vitali-set

  Oct 30, 20261s
  More actions for workflow run 331

• no atoms implies Lp dimension

  skipped:
  continuous integration#330:Commitdcea0ebpushedbylua-vr
  lyapunov-convexity

  Oct 29, 20261s
  More actions for workflow run 330

• golf'

  skipped:
  continuous integration#329:Commit053df90pushedbylua-vr
  vitali-set

  Oct 29, 202610s
  More actions for workflow run 329

• golf

  skipped:
  continuous integration#328:Commit27fb5b2pushedbylua-vr
  vitali-set

  Oct 29, 20261s
  More actions for workflow run 328

• golf

  skipped:
  continuous integration#327:Commitdec971fpushedbylua-vr
  vitali-set

  Oct 29, 202610s
  More actions for workflow run 327

• golf

  skipped:
  continuous integration#326:Commit299e9d9pushedbylua-vr
  vitali-set

  Oct 29, 20267s
  More actions for workflow run 326

• golf

  skipped:
  continuous integration#325:Commit39454a9pushedbylua-vr
  vitali-set

  Oct 29, 20261s
  More actions for workflow run 325

• subjuntivo

  skipped:
  continuous integration#324:Commit1fb9892pushedbylua-vr
  vitali-set

  Oct 29, 20261s
  More actions for workflow run 324