Skip to content

Actions: benjub/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Write down nature of two revisions (original commit: 2e24b38781502123… verifiers #1339: Commit 69c9dbd pushed by benjub
3m 23s credits
credits
3m 23s
mathbox: add bj-sylggt verifiers #1338: Commit 8db257a pushed by benjub
3m 29s misc
misc
3m 29s
Shorten rabexg and pwnss; one other quasi-automatic minimization so n… verifiers #1337: Commit 5f5ae35 pushed by benjub
4m 37s rabexg
rabexg
4m 37s
Shorten rabexg and pwnss; one other quasi-automatic minimization so n… verifiers #1336: Commit ffcf806 pushed by benjub
4m 19s rabexg
rabexg
4m 19s
Slightly rearrange some theorem order to shorten rabexg and pwnss; on… verifiers #1335: Commit 7a67f59 pushed by benjub
3m 32s rabexg
rabexg
3m 32s
Prove unexg first and then unexb and unex from it. verifiers #1334: Commit a237127 pushed by benjub
4m 12s unexg
unexg
4m 12s
Prove unexg first and then unexb and unex from it. verifiers #1333: Commit e6abf72 pushed by benjub
3m 55s unexg
unexg
3m 55s
typos verifiers #1332: Commit 9808895 pushed by benjub
2m 55s ru0
ru0
2m 55s
Move elequ12 and ru0 to Main. verifiers #1331: Commit 47bc215 pushed by benjub
2m 59s ru0
ru0
2m 59s
Move elequ12 and ru0 to Main. verifiers #1330: Commit f4b15ee pushed by benjub
3m 39s ru0
ru0
3m 39s
Add zzlesq; minor edits. verifiers #1329: Commit ddf14a3 pushed by benjub
3m 54s zzlesq
zzlesq
3m 54s
Add zzlesq; minor edits. verifiers #1328: Commit 82829cc pushed by benjub
3m 8s zzlesq
zzlesq
3m 8s
Add zzlesq; minor edits. verifiers #1327: Commit ffbad61 pushed by benjub
3m 46s zzlesq
zzlesq
3m 46s
Fix and edit comments near the beginning of the 'exponentiation' sect… verifiers #1326: Commit e28912e pushed by benjub
3m 4s misc
misc
3m 4s
Fix and edit comments near the beginning of the 'exponentiation' sect… verifiers #1325: Commit 738d1a6 pushed by benjub
3m 4s misc
misc
3m 4s
Relabel: sucelon-->onsucb ; suceloni-->onsuc in both (i)set.mm. Clar… verifiers #1324: Commit c6e9523 pushed by benjub
11m 49s misc
misc
11m 49s
Relabel: sucelon-->onsucb ; suceloni-->onsuc in both (i)set.mm. Clar… verifiers #1323: Commit 20997fd pushed by benjub
3m 42s misc
misc
3m 42s
typography verifiers #1322: Commit aee1782 pushed by benjub
3m 38s misc
misc
3m 38s
Move two theorems out of Section 'Theorems requiring empty set existe… verifiers #1321: Commit 2e5b088 pushed by benjub
3m 51s misc
misc
3m 51s
mathbox: finite unions verifiers #1320: Commit 362cfc6 pushed by benjub
3m 49s adj
adj
3m 49s
Update changes-set.txt verifiers #1319: Commit 1a6824a pushed by benjub
3m 3s minor
minor
3m 3s
mathbox comment edit verifiers #1318: Commit 8452b90 pushed by benjub
3m 38s minor
minor
3m 38s
Rephrase and uniformize comments in the ~snelpwg family. Fix a link i… verifiers #1317: Commit 39a6784 pushed by benjub
2m 55s minor
minor
2m 55s
Add some closed forms: elintabg, snelpwg, intidg. Resulting shortenin… verifiers #1316: Commit 19bccef pushed by benjub
2m 47s minor
minor
2m 47s
Add some closed forms: elintabg, snelpwg, intidg. Resulting shorening… verifiers #1315: Commit b80faef pushed by benjub
3m 47s minor
minor
3m 47s