Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 9, 2020

• Merge pull request metamath#1816 from nmegill/develop

  Show description for bfdafa1
  nmegill

  authored
  bfdafa1

  Copy full SHA for bfdafa1

• set.mm - update Jarvin Udandy's mathbox

  nmegill

  committed
  1a8976b

  Copy full SHA for 1a8976b

Commits on Sep 8, 2020

• Merge pull request metamath#1815 from wlammen/develop

  Show description for a11d8fc
  nmegill

  authored
  a11d8fc

  Copy full SHA for a11d8fc

• replace OLD reference in dchrisum0flblem2

  

  Wolf Lammen

  committed
  463482f

  Copy full SHA for 463482f

• Merge pull request metamath#1814 from metamath/add_achievable

  Show description for e4c7746
  nmegill

  authored
  e4c7746

  Copy full SHA for e4c7746

• Merge pull request metamath#1813 from jkingdon/iset-fr-mmil

  Show description for 19d5668
  nmegill

  authored
  19d5668

  Copy full SHA for 19d5668

• Merge pull request metamath#1812 from wlammen/develop

  Show description for 4166eeb
  nmegill

  authored
  4166eeb

  Copy full SHA for 4166eeb

• Add scripts/mm100-achievable

  Show description for bd0635f
  david-a-wheeler

  committed
  bd0635f

  Copy full SHA for bd0635f

• restored accidentially overwritten tags

  

  Wolf Lammen

  committed
  5666a37

  Copy full SHA for 5666a37

• Expand df-fr discussion in mmil.html

  Show description for 6d27252
  jkingdon

  committed
  6d27252

  Copy full SHA for 6d27252

Commits on Sep 7, 2020

• replace dependency to OLD theorem in pntpbnd1a

  

  Wolf Lammen

  committed
  287e7e3

  Copy full SHA for 287e7e3

• Merge pull request metamath#1811 from benjub/misc

  Show description for 463ca1e
  nmegill

  authored
  463ca1e

  Copy full SHA for 463ca1e

• comment edit: link to ~ax6 from the comment of ~ax6dgen

  benjub

  committed
  40aea8b

  Copy full SHA for 40aea8b

• relabel a few statements ax16* --> axc16*

  benjub

  committed
  8872148

  Copy full SHA for 8872148

• Merge pull request metamath#1809 from nmegill/develop

  Show description for 184494a
  nmegill

  authored
  184494a

  Copy full SHA for 184494a

• set.mm - update with Jarvin Udandy's mathbox

  nmegill

  committed
  1a7aa45

  Copy full SHA for 1a7aa45

Commits on Sep 6, 2020

• Merge pull request metamath#1808 from avekens/develop

  Show description for de8d1a5
  nmegill

  authored
  de8d1a5

  Copy full SHA for de8d1a5

• Merge pull request metamath#1807 from wlammen/develop

  Show description for 782014e
  nmegill

  authored
  782014e

  Copy full SHA for 782014e

• Infimum - definition and related theorems

  Show description for f3335e0
  avekens

  committed
  f3335e0

  Copy full SHA for f3335e0

• delete lidlssOLD

  

  Wolf Lammen

  committed
  8f6b78d

  Copy full SHA for 8f6b78d

• update drngnidl

  

  Wolf Lammen

  committed
  14d8a7e

  Copy full SHA for 14d8a7e

• reduce dependency on lidlssOLD

  

  Wolf Lammen

  committed
  568c117

  Copy full SHA for 568c117

Commits on Sep 5, 2020

• Merge pull request metamath#1804 from wlammen/develop

  Show description for 6e98439
  nmegill

  authored
  6e98439

  Copy full SHA for 6e98439

• Merge pull request metamath#1806 from avekens/develop

  Show description for 063b50a
  nmegill

  authored
  063b50a

  Copy full SHA for 063b50a

• cascading delete

  

  Wolf Lammen

  committed
  f98bd40

  Copy full SHA for f98bd40

• rm eltopspOLD

  

  Wolf Lammen

  committed
  8cc712b

  Copy full SHA for 8cc712b

• Infimum - definition and related theorems

  Show description for 3b5b915
  avekens

  committed
  3b5b915

  Copy full SHA for 3b5b915

• rm more outdated istps*OLD theorems

  

  Wolf Lammen

  committed
  d44059c

  Copy full SHA for d44059c

Commits on Sep 4, 2020

• Merge pull request metamath#1803 from wlammen/develop

  Show description for bb1309a
  nmegill

  authored
  bb1309a

  Copy full SHA for bb1309a

• update file version

  

  Wolf Lammen

  committed
  b6b04d6

  Copy full SHA for b6b04d6

• cascading delete

  

  Wolf Lammen

  committed
  15d22ce

  Copy full SHA for 15d22ce

• rm outdated istps5OLD

  

  Wolf Lammen

  committed
  f16bdf7

  Copy full SHA for f16bdf7

• rm outdated shmulclOLD

  

  Wolf Lammen

  committed
  5394802

  Copy full SHA for 5394802

Commits on Sep 3, 2020

• Merge pull request metamath#1802 from wlammen/develop

  Show description for 227203b
  nmegill

  authored
  227203b

  Copy full SHA for 227203b

• update file version

  

  Wolf Lammen

  committed
  f6978ce

  Copy full SHA for f6978ce

Pagination

Previous

Next