Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2024

• Rename syl6eqbr to eqbrtrdi

  Show description for bd3811f
  jkingdon

  committed
  bd3811f

• Rename syl6eqbrr to eqbrtrrdi

  Show description for c3c74de
  jkingdon

  committed
  c3c74de

Commits on Jan 5, 2024

• Words and cyclic permutations (metamath#3743)

  Show description for 9e370d1
  tirix

  authored
  9e370d1

Commits on Jan 4, 2024

• delete outdated OLD theorems (metamath#3742)

  Show description for 8de506c
  wlammen

  authored
  8de506c

Commits on Jan 3, 2024

• Add dvef to iset.mm

  Show description for b8e5ee3
  jkingdon

  committed
  b8e5ee3

• Add breqdi to iset.mm

  Show description for c9cfc7c
  jkingdon

  committed
  c9cfc7c

• Add dveflem to iset.mm

  Show description for c5f42d9
  jkingdon

  committed
  c5f42d9

• Add brm to iset.mm

  Show description for a29393f
  jkingdon

  committed
  a29393f

• Add binary relation theorems to iset.mm

  Show description for b87348b
  jkingdon

  committed
  b87348b

• Add subtraction theorems to iset.mm

  Show description for a10a557
  jkingdon

  committed
  a10a557

• Add dvmptsubcn to iset.mm

  Show description for 27ebb25
  jkingdon

  committed
  27ebb25

• Add dvmptnegcn to iset.mm

  Show description for 2eac143
  jkingdon

  committed
  2eac143

• Add dvmptcmulcn to iset.mm

  Show description for bdcf743
  jkingdon

  committed
  bdcf743

• add dvmptdivc to mmil.html

  jkingdon

  committed
  a11535a

• Add dvmptres2 and dvmptres to mmil.html

  jkingdon

  committed
  296abf2

• Add dvmptmulx to iset.mm

  Show description for 2f0e1e6
  jkingdon

  committed
  2f0e1e6

• Add dvmptaddx to iset.mm

  Show description for 78f61af
  jkingdon

  committed
  78f61af

• Add dvmptclx to iset.mm

  Show description for 1e3fc7d
  jkingdon

  committed
  1e3fc7d

• Add dvmptccn to iset.mm

  Show description for a282c0f
  jkingdon

  committed
  a282c0f

• Add dvmptidcn to iset.mm

  Show description for d2df337
  jkingdon

  committed
  d2df337

• add dvmptres3 to mmil.html

  jkingdon

  committed
  0a117e7

• Reorganize Mathbox Algebra (metamath#3739)

  tirix

  authored
  1ead265

• Misc (metamath#3734)

  Show description for e397dfb
  benjub

  authored
  e397dfb

• fsplit (metamath#3735)

  Show description for 016556f
  benjub

  authored
  016556f

• derive latest_version from tarball folder name (metamath#3738)

  digama0

  authored
  01d1509

• mathbox: add bj-elpwg (metamath#3737)

  benjub

  authored
  ef8ada8

Commits on Jan 2, 2024

• Shorten elpwg+elpw; add pwidb (metamath#3736)

  benjub

  authored
  1c589b8

• Mathbox (metamath#3730)

  Show description for 5e6fbf4
  benjub

  authored
  5e6fbf4

Commits on Jan 1, 2024

• Remove same-alphabet requirement from eqwrd (metamath#3731)

  jamesjer

  authored
  c6ceb0b

• fix merge conflict (metamath#3732)

  wlammen

  authored
  178ce69

• fix df-selv (metamath#3698)

  Show description for b66ee4f
  icecream17

  authored
  b66ee4f

Commits on Dec 31, 2023

• Add ctfoex to iset.mm

  Show description for f81542d
  jkingdon

  committed
  f81542d

• Add enct to iset.mm

  Show description for 6e5c666
  jkingdon

  committed
  6e5c666

• Add omct to iset.mm

  Show description for 5305a1b
  jkingdon

  committed
  5305a1b

• Theorems about magmas, semigroups and monoids (metamath#3724)

  Show description for 6a8f67d
  avekens

  authored
  6a8f67d

Pagination

PreviousNext