Skip to content

Actions: ericluap/OrderedSemigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show that if a semigroup is not anomalous, then it has large elements .github/workflows/blueprint.yml #59: Commit cc1feb1 pushed by ericluap
December 19, 2024 17:39 24m 5s main
main
December 19, 2024 17:39 24m 5s
Complete presentation of Holder's theorem .github/workflows/blueprint.yml #58: Commit 7898736 pushed by ericluap
December 4, 2024 20:45 8m 41s main
main
December 4, 2024 20:45 8m 41s
Remove typo .github/workflows/blueprint.yml #57: Commit 5edebba pushed by ericluap
December 3, 2024 20:08 8m 51s main
main
December 3, 2024 20:08 8m 51s
Show that phi is order preserving and injective .github/workflows/blueprint.yml #56: Commit d9e00cb pushed by ericluap
December 3, 2024 20:07 2m 24s main
main
December 3, 2024 20:07 2m 24s
Define phi as bundled homomorphism .github/workflows/blueprint.yml #55: Commit 2fea869 pushed by ericluap
December 3, 2024 00:06 8m 35s main
main
December 3, 2024 00:06 8m 35s
Show that phi' is a homomorphism .github/workflows/blueprint.yml #54: Commit 2694fb7 pushed by ericluap
December 2, 2024 22:52 8m 39s main
main
December 2, 2024 22:52 8m 39s
Progress of phi homomorphism proof .github/workflows/blueprint.yml #53: Commit befa35c pushed by ericluap
November 26, 2024 20:03 9m 29s main
main
November 26, 2024 20:03 9m 29s
Fix Mathlib bump error .github/workflows/blueprint.yml #52: Commit d30b9bb pushed by ericluap
November 25, 2024 22:42 24m 6s main
main
November 25, 2024 22:42 24m 6s
Mathlib bump .github/workflows/blueprint.yml #51: Commit 76baa22 pushed by ericluap
November 25, 2024 22:38 1m 42s main
main
November 25, 2024 22:38 1m 42s
Add homomorphism proof to blueprint .github/workflows/blueprint.yml #50: Commit 4049892 pushed by ericluap
November 25, 2024 22:29 7m 26s main
main
November 25, 2024 22:29 7m 26s
Add statement that phi is a homomorphism .github/workflows/blueprint.yml #49: Commit b512256 pushed by ericluap
November 25, 2024 08:16 8m 5s main
main
November 25, 2024 08:16 8m 5s
Prove that q converges .github/workflows/blueprint.yml #48: Commit a232aab pushed by ericluap
November 25, 2024 08:08 7m 42s main
main
November 25, 2024 08:08 7m 42s
Prove that every element can be approximated by another .github/workflows/blueprint.yml #47: Commit a0d5eec pushed by ericluap
November 25, 2024 06:10 7m 53s main
main
November 25, 2024 06:10 7m 53s
Merge remote-tracking branch 'refs/remotes/origin/main' .github/workflows/blueprint.yml #46: Commit 00ade51 pushed by ericluap
November 19, 2024 20:53 22m 10s main
main
November 19, 2024 20:53 22m 10s
Merge pull request #5 from TomasOrtega/main .github/workflows/blueprint.yml #45: Commit d9bb757 pushed by ericluap
November 8, 2024 07:37 7m 31s main
main
November 8, 2024 07:37 7m 31s
Prove that if the positive cone is normal, the group is right ordered .github/workflows/blueprint.yml #44: Commit be2f73b pushed by ericluap
November 8, 2024 07:36 7m 33s main
main
November 8, 2024 07:36 7m 33s
Remove unnecessary conclusion .github/workflows/blueprint.yml #43: Commit ee3c5a2 pushed by ericluap
November 8, 2024 07:23 7m 27s main
main
November 8, 2024 07:23 7m 27s
Merge pull request #4 from TomasOrtega/main .github/workflows/blueprint.yml #42: Commit b41c413 pushed by ericluap
November 8, 2024 07:20 7m 58s main
main
November 8, 2024 07:20 7m 58s
Merge pull request #3 from TomasOrtega/main .github/workflows/blueprint.yml #41: Commit 5d3776b pushed by ericluap
November 7, 2024 20:47 7m 22s main
main
November 7, 2024 20:47 7m 22s
Prove that a left ordered Archimedean group is right ordered .github/workflows/blueprint.yml #40: Commit 1ba7ee9 pushed by ericluap
November 7, 2024 19:13 7m 28s main
main
November 7, 2024 19:13 7m 28s
Merge pull request #2 from TomasOrtega/main .github/workflows/blueprint.yml #39: Commit 1dd7a52 pushed by ericluap
November 7, 2024 00:44 7m 20s main
main
November 7, 2024 00:44 7m 20s
Merge pull request #1 from TomasOrtega/main .github/workflows/blueprint.yml #38: Commit 9fb1409 pushed by ericluap
November 7, 2024 00:39 7m 26s main
main
November 7, 2024 00:39 7m 26s
Remove line from proof .github/workflows/blueprint.yml #37: Commit da05b71 pushed by ericluap
November 6, 2024 22:03 8m 27s main
main
November 6, 2024 22:03 8m 27s
Add Ordered Group sign lemmas .github/workflows/blueprint.yml #36: Commit f26a423 pushed by ericluap
November 6, 2024 05:35 7m 25s main
main
November 6, 2024 05:35 7m 25s
Outline argument and steps .github/workflows/blueprint.yml #35: Commit a3538c7 pushed by ericluap
November 5, 2024 20:48 7m 32s main
main
November 5, 2024 20:48 7m 32s