Commits

Branch selector

 6a8f67d

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 31, 2023

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

  Show description for 6a8f67d
  avekens

  authored
  6a8f67d

  Copy full SHA for 6a8f67d

• shorten pwunss; a few comment edits (metamath#3729)

  benjub

  authored
  ad0e4f2

  Copy full SHA for ad0e4f2

Commits on Dec 30, 2023

• Shorten ncanth and edit comment. (metamath#3725)

  benjub

  authored
  07c726b

  Copy full SHA for 07c726b

Commits on Dec 29, 2023

• Add dmep, rnep (metamath#3723)

  benjub

  authored
  70c3cfc

  Copy full SHA for 70c3cfc

• Rename syl6breq to breqtrdi (metamath#3722)

  Show description for 0064381
  jkingdon

  authored
  0064381

  Copy full SHA for 0064381

• Comment edits; epsilon-->membership, rephrasings. (metamath#3717)

  benjub

  authored
  380eecb

  Copy full SHA for 380eecb

Commits on Dec 28, 2023

• Revise opabresid and mptresid (metamath#3720)

  benjub

  authored
  505879b

  Copy full SHA for 505879b

• shorten alcomiw (metamath#3721)

  Show description for 8e9dc81
  wlammen

  authored
  8e9dc81

  Copy full SHA for 8e9dc81

Commits on Dec 27, 2023

• Labels (metamath#3714)

  Show description for 20e38e3
  benjub

  authored
  20e38e3

  Copy full SHA for 20e38e3

• Shorten pwundif. (metamath#3715)

  benjub

  authored
  094cc44

  Copy full SHA for 094cc44

• Shorten fnresi (metamath#3719)

  benjub

  authored
  7a2446f

  Copy full SHA for 7a2446f

• Rename syl6breqr to breqtrrdi

  Show description for 0abd5ac
  jkingdon

  committed
  0abd5ac

  Copy full SHA for 0abd5ac

• Expand rename proposal for syl6eqssr

  Show description for da3d065
  jkingdon

  committed
  da3d065

  Copy full SHA for da3d065

Commits on Dec 26, 2023

• mathbox: alternate proof of 0 + 0 = 0 (metamath#3713)

  icecream17

  authored
  5f12320

  Copy full SHA for 5f12320

• Add dvcoapbr to iset.mm

  Show description for 2ca7a4e
  jkingdon

  committed
  2ca7a4e

  Copy full SHA for 2ca7a4e

• Add limccoap to iset.mm

  Show description for 729c645
  jkingdon

  committed
  729c645

  Copy full SHA for 729c645

• Add aprcl and apsscn to iset.mm

  Show description for 7dc26f9
  jkingdon

  committed
  7dc26f9

  Copy full SHA for 7dc26f9

Commits on Dec 25, 2023

• Generalize idinxpres. Add idfnv. Various comment edits. Minor mathbox edits. (metamath#3712)

  benjub

  authored
  95d6a83

  Copy full SHA for 95d6a83

Commits on Dec 23, 2023

• Main: pwvrel, pwvabrel; mathbox: bj-pwvrelb (metamath#3709)

  benjub

  authored
  eb4736d

  Copy full SHA for eb4736d

Commits on Dec 21, 2023

• shorten impimprbi (metamath#3708)

  wlammen

  authored
  217af11

  Copy full SHA for 217af11

Commits on Dec 20, 2023

• rewrite norass to use lemmas (metamath#3707)

  Show description for df58e91
  wlammen

  authored
  df58e91

  Copy full SHA for df58e91

Commits on Dec 19, 2023

• shorten hadcoma (metamath#3706)

  wlammen

  authored
  550eae8

  Copy full SHA for 550eae8

Commits on Dec 18, 2023

• mathbox: direct image (metamath#3702)

  benjub

  authored
  f7a0127

  Copy full SHA for f7a0127

• Rename syl5eqel to eqeltrid (metamath#3705)

  Show description for a6fbe03
  jkingdon

  authored
  a6fbe03

  Copy full SHA for a6fbe03

• shorten trunorfal, falnorfal (metamath#3703)

  Show description for 69a77dd
  wlammen

  authored
  69a77dd

  Copy full SHA for 69a77dd

Commits on Dec 17, 2023

• Add dvrecap to iset.mm

  Show description for 1780963
  jkingdon

  committed
  1780963

  Copy full SHA for 1780963

• Add cnreim to iset.mm

  Show description for 73e7dbd
  jkingdon

  committed
  73e7dbd

  Copy full SHA for 73e7dbd

• Add cnopnap to iset.mm

  Show description for bf5bff7
  jkingdon

  committed
  bf5bff7

  Copy full SHA for bf5bff7

• Add cnrehmeocntop to iset.mm

  Show description for a30ac3e
  jkingdon

  committed
  a30ac3e

  Copy full SHA for a30ac3e

• add ptuncnv , ptunhmeo to mmil.html

  jkingdon

  committed
  e999a43

  Copy full SHA for e999a43

• add pt1hmeo to mmil.html

  jkingdon

  committed
  1c5ca26

  Copy full SHA for 1c5ca26

• Add f1sng and fsnd to iset.mm

  Show description for 6230ce3
  jkingdon

  committed
  6230ce3

  Copy full SHA for 6230ce3

• Add txswaphmeolem and txswaphmeo to iset.mm

  Show description for 0e4ab56
  jkingdon

  committed
  0e4ab56

  Copy full SHA for 0e4ab56

• Add txhmeo to iset.mm

  Show description for 834e229
  jkingdon

  committed
  834e229

  Copy full SHA for 834e229

• add hmeoqtop to mmil.html

  jkingdon

  committed
  5ab061f

  Copy full SHA for 5ab061f

Pagination

Previous

Next