Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 5, 2024

• The Zariski Topology is compact (metamath#4070)

  Show description for 656873c
  tirix

  authored
  656873c

Commits on Apr 23, 2024

• Add comments to *.raw.html files

  Show description for 8b138f1
  jkingdon

  committed
  8b138f1

Commits on Mar 25, 2024

• Link to theorems in theorem sampler

  Show description for 7f29ea9
  jkingdon

  committed
  7f29ea9

Commits on Jan 25, 2024

• Explanation of DV conditions (metamath#3786)

  Show description for c5050ab
  benjub

  authored
  c5050ab

Commits on Jan 15, 2024

• update mmset.html (metamath#3765)

  Show description for 960aeaa
  wlammen

  authored
  960aeaa

Commits on Oct 24, 2023

• relabel axext(2|3|4) (metamath#3591)

  Show description for a95af21
  benjub

  authored
  a95af21

Commits on Aug 26, 2023

• Replace pm110.643 in set.mm with dju1p1e2

  Show description for 2c0b30f
  jkingdon

  committed
  2c0b30f

Commits on Jan 2, 2023

• Exponentiation with two irrationals (metamath#2963)

  Show description for 8c005de
  avekens

  authored
  8c005de

Commits on Dec 2, 2022

• misc axiom reductions + typo fixes (metamath#2940)

  Show description for 8f13062
  icecream17

  authored
  8f13062

Commits on Nov 23, 2022

• Update note on definitions in mmset.html (metamath#2929)

  Show description for c5e1707
  jkingdon

  authored
  c5e1707

Commits on Oct 6, 2022

• remove extra space (metamath#2876)

  icecream17

  authored
  1f566c8

Commits on Jul 20, 2022

• Link to idALT not id1 (metamath#2696)

  Show description for e87871f
  jkingdon

  authored
  e87871f

Commits on Feb 9, 2022

• 4 range cross items by Scott Fenton in the Mathbox of Peter Mazsa (metamath#2478)

  Show description for e3feef8
  mazsa

  authored
  e3feef8

Commits on Jan 1, 2022

• Added Theorems 12 and 13 of [RosserSchoenfeld] as temporary axioms. (metamath#2410)

  Show description for d5e9d81
  tirix

  authored
  d5e9d81

Commits on Dec 28, 2021

• Graph theory, Goldbach conjecture, misc. (metamath#2402)

  Show description for cf1cba2
  avekens

  authored
  cf1cba2

Commits on Dec 8, 2021

• add Lipparini citation

  sctfn

  committed
  8547a90

Commits on Dec 2, 2021

• Prove an equality useful for Vinogradov's circle method

  tirix

  committed
  e224617

Commits on Aug 18, 2021

• mmset.raw.html - minor edit

  nmegill

  committed
  2c8e430

Commits on Aug 17, 2021

• mmset.raw.html - fix typo

  nmegill

  committed
  2edb3d6

Commits on Aug 4, 2021

• mmset.raw.html - fix typos, validation errors, rewrite some text

  nmegill

  committed
  6827e99

Commits on Jul 17, 2021

• Merge branch 'develop' of https://github.com/metamath/set.mm into develop

  avekens

  committed
  b44b47d

• Cancellability of congruences, Gauss' Lemma, proof of 2lgs

  Show description for 276eb73
  avekens

  committed
  276eb73

Commits on Jul 9, 2021

• fix html in mmset.raw.html (remove closing paragraph tags I had introduced in previous commit)

  benjub

  committed
  3ca209e

Commits on Jul 8, 2021

• mmset.raw.html: html code cleanup (mainly closing tags)

  benjub

  committed
  8915b0c

• mmset.raw.html: change ax4, ax10, ax12o to ax4fromc4, ax10fromc7, ax12fromc15; html cleanup

  benjub

  committed
  266ed92

Commits on Mar 25, 2021

• fix typos; add ref to Monk; rename ax12v2 to axc8

  

  Wolf Lammen

  committed
  406c2d3

• mmset.raw.html - change ax12 label to ax12o

  nmegill

  committed
  9d40e70

Commits on Mar 22, 2021

• relabel dummylink to a1ii and keep dummylink at the end of set.mm in a dedicated section; mmset.raw.html: dummylink--> a1ii and the rest is rewraps and closing </P> tags

  benjub

  committed
  1af07f2

Commits on Mar 20, 2021

• typos and spacing

  benjub

  committed
  9793366

Commits on Dec 29, 2020

• typos

  benjub

  committed
  d5a2680

• remove dependencies from cleljust and move it earlier (now within Tarski's system); keep cleljustALT and cleljustALT2; adapt the explanation in mmset.raw.html to use cleljustALT

  benjub

  committed
  8a0fdcc

Commits on Dec 24, 2020

• link from mmset.raw.html to mmnotes.txt, assuming common directory

  benjub

  committed
  1b00e40

Commits on Nov 9, 2020

• mmset.raw.html - add link to mmfrege.html

  nmegill

  committed
  dda9f50

Commits on Oct 30, 2020

• id1 --> ~ idALT in mmset.raw.html

  benjub

  committed
  568dbba

Commits on Oct 23, 2020

• re-introduce id1

  Show description for 8c51699
  avekens

  committed
  8c51699

Pagination

PreviousNext