Commit graph

Select branches

Hide pull requests

bobby

grant

jayden

main

monalisa

monalisa3

monalisa4

monula95-patch-1

sayantan

#1

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

Mono Color

• 51b2589327 finish all the statements except homogeneous ideal chelseaandmadrid 2023-06-14 10:41:50 -0700
• 0f3f18ef09 moved files into CommAlg monula95 dutta 2023-06-14 17:38:40 +0000
• c3f9683893
  Merge pull request #51 from GTBarkley/sayantan Sayantan Santra 2023-06-14 12:23:19 -0500
• 39c06f39fd
  
  Develop dim_eq_dim_polynomial_add_one a bit more, with a sorried section SinTan1729 2023-06-14 10:22:14 -0700
• 8a4d8ee02a Merge remote-tracking branch 'origin/monalisa2' GTBarkley 2023-06-14 17:19:40 +0000
• 3e4a8a5fca add statements chelseaandmadrid 2023-06-14 09:14:47 -0700
• 4299cafebc clean some notations chelseaandmadrid 2023-06-14 00:23:01 -0700
• 950df913aa new bobby chelseaandmadrid 2023-06-13 23:05:45 -0700
• 2737f8bba6
  Merge pull request #49 from GTBarkley/sayantan Sayantan Santra 2023-06-14 00:56:32 -0500
• 96c91d90cc
  Merge branch 'GTBarkley:main' into main Sayantan Santra 2023-06-14 00:55:38 -0500
• 56cefd9b53
  
  Made some progress on dim_eq_dim_polynomial_add_one SinTan1729 2023-06-13 22:54:57 -0700
• 7c91fd8d31 fixed hilbertpoly Andre 2023-06-14 01:38:51 -0400
• 437ad08ebd fixed hilbertpoly Andre 2023-06-14 01:37:10 -0400
• 50ec280145
  Merge pull request #48 from GTBarkley/grant GTBarkley 2023-06-13 21:52:19 -0700
• 869ce6aa9f proved dim_le_one_of_dimLEOne GTBarkley 2023-06-14 04:51:49 +0000
• b6bbf7af8c udpated def final monula95 dutta 2023-06-14 04:49:17 +0000
• b832cecf59
  Merge pull request #47 from GTBarkley/jayden Jidong Wang 2023-06-13 21:18:44 -0700
• 4d2aeea2c2 more updates poincare-duality 2023-06-13 21:17:54 -0700
• c2e808f243
  Merge pull request #46 from GTBarkley/leo Leo Mayer 2023-06-13 21:04:34 -0700
• bb3d8e8977 Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-13 21:01:47 -0700
• 50aa1b07a8 moved krullDim_nonneg_of_nontrivial to krull.lean leopoldmayer 2023-06-13 20:58:32 -0700
• d30702fb10 updated def monula95 dutta 2023-06-14 03:45:23 +0000
• 2c3d2d84a3 TEST monula95 dutta 2023-06-14 03:03:10 +0000
• 06a491b843
  
  del: Deleted temp working file SinTan1729 2023-06-13 19:58:28 -0700
• 563a85c081
  Merge pull request #45 from GTBarkley/sayantan Sayantan Santra 2023-06-13 21:56:39 -0500
• 23064c442b
  
  Little bit of golfing SinTan1729 2023-06-13 19:55:50 -0700
• 4080cec961
  Merge pull request #44 from GTBarkley/jayden Jidong Wang 2023-06-13 17:22:10 -0700
• 55ea06c141 add more stuff poincare-duality 2023-06-13 17:21:42 -0700
• 62906d776c
  Merge pull request #43 from ssavkar1/main ssavkar1 2023-06-13 16:02:02 -0700
• 1f4505f8ab added two lemmas Sameer Savkar 2023-06-13 16:00:58 -0700
• 81bc507768 keep working poincare-duality 2023-06-13 15:03:28 -0700
• e70eec4ad1
  Merge pull request #42 from GTBarkley/grant GTBarkley 2023-06-13 14:45:17 -0700
• 425b80d595
  Merge branch 'main' into grant GTBarkley 2023-06-13 14:45:10 -0700
• 1ed0a5499c added krullDim_nonneg_of_nontrivial to krull GTBarkley 2023-06-13 21:43:06 +0000
• af76870635
  Merge pull request #41 from GTBarkley/sayantan Sayantan Santra 2023-06-13 16:40:48 -0500
• 7b8c0ba127
  
  Made very small changes SinTan1729 2023-06-13 14:35:46 -0700
• 3730100c86
  
  Moved dim_eq_zero_iff_field to the main file SinTan1729 2023-06-13 14:35:10 -0700
• a941cce12f changed all rings from Type to Type _ leopoldmayer 2023-06-13 14:26:19 -0700
• e3deef3322
  Merge pull request #40 from GTBarkley/leo Leo Mayer 2023-06-13 14:19:34 -0700
• 7da199c95b Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-13 14:18:13 -0700
• 4c7b6b3022 two new sorried statements leopoldmayer 2023-06-13 14:17:59 -0700
• 5f241e80f1
  
  Added a comment SinTan1729 2023-06-13 14:16:53 -0700
• 6bf4ae5d46
  Merge pull request #39 from GTBarkley/sayantan Sayantan Santra 2023-06-13 16:12:38 -0500
• db18750677
  
  Renamed a file SinTan1729 2023-06-13 14:11:13 -0700
• 1dff00ff39
  Merge pull request #38 from GTBarkley/sayantan Sayantan Santra 2023-06-13 16:08:48 -0500
• dedb9711c7
  
  update: Finally, the proof of dim_eq_zero_iff_field is complete SinTan1729 2023-06-13 14:08:04 -0700
• edeaf1829c
  Merge pull request #37 from GTBarkley/grant GTBarkley 2023-06-13 13:34:40 -0700
• f63286aff8 moved dim_eq_bot_iff to krull.lean GTBarkley 2023-06-13 20:34:02 +0000
• afeeeb506f proved dim_eq_bot_iff GTBarkley 2023-06-13 19:11:44 +0000
• 0291df2283
  Merge pull request #36 from GTBarkley/sayantan Sayantan Santra 2023-06-13 02:00:39 -0500
• e3a7639399
  
  new: Made some progress on the isField.dim_zero lemma SinTan1729 2023-06-12 23:58:40 -0700
• 65b343ef42
  Merge pull request #35 from GTBarkley/grant GTBarkley 2023-06-12 22:12:13 -0700
• 6a0a3768f8 proved krullDim_nonneg_of_nontrivial GTBarkley 2023-06-13 05:01:18 +0000
• cb35208541
  Merge pull request #34 from GTBarkley/sayantan Sayantan Santra 2023-06-12 23:57:45 -0500
• 6bbeb7e36d
  
  new: Made some progress on the other side of dim_eq_zero_iff_field SinTan1729 2023-06-12 21:55:06 -0700
• dff6fb21d3
  Merge branch 'GTBarkley:main' into main Sayantan Santra 2023-06-12 23:39:56 -0500
• 53983475bb
  Merge pull request #33 from GTBarkley/grant GTBarkley 2023-06-12 21:23:40 -0700
• b3a11a6e44 proved height_ge_iff' GTBarkley 2023-06-13 04:23:17 +0000
• a15c96e7b3
  Merge pull request #32 from GTBarkley/jayden Jidong Wang 2023-06-12 20:50:29 -0700
• eb01e5506a add more stuff poincare-duality 2023-06-12 20:48:42 -0700
• 5cb0f77d2f update poincare-duality 2023-06-12 20:03:43 -0700
• a41873ac1b
  
  change: Refactoring SinTan1729 2023-06-12 16:25:02 -0700
• 0a8fd3ef7c Test monula95 dutta 2023-06-12 23:09:47 +0000
• 6496bc43d9
  Merge pull request #31 from GTBarkley/sayantan Sayantan Santra 2023-06-12 18:08:03 -0500
• bbaf335924
  
  new: Working proof of dim_field_eq_zero SinTan1729 2023-06-12 16:06:48 -0700
• 1618a7cc7e
  Merge pull request #29 from GTBarkley/jayden Jidong Wang 2023-06-12 14:32:33 -0700
• bb2071a61e
  Merge branch 'main' into jayden Jidong Wang 2023-06-12 14:32:20 -0700
• 284f0e60d1
  Merge pull request #30 from GTBarkley/leo Leo Mayer 2023-06-12 14:28:44 -0700
• f58918cc2b Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-12 14:27:26 -0700
• 8b2be97b5a added some lemmas leopoldmayer 2023-06-12 14:27:09 -0700
• 58450c56be renamed thngs poincare-duality 2023-06-12 14:21:59 -0700
• cf0052a112 update lemmas poincare-duality 2023-06-12 14:14:39 -0700
• 871f38239c TESTMOna monula95 dutta 2023-06-12 20:59:28 +0000
• e22b18e7c5 TESTMOna monula95 dutta 2023-06-12 20:57:49 +0000
• 3d6ef85885
  Merge pull request #27 from ssavkar1/main ssavkar1 2023-06-12 13:38:57 -0700
• 2ae8926e4c Moved files Sameer Savkar 2023-06-12 13:38:26 -0700
• 5e45c14adc
  Merge pull request #26 from ssavkar1/main ssavkar1 2023-06-12 13:36:51 -0700
• cbb0c6ce7a Defining lemmas Sameer Savkar 2023-06-12 13:34:09 -0700
• 6a089d1356
  Merge pull request #25 from GTBarkley/leo Leo Mayer 2023-06-12 13:05:57 -0700
• ab1c24cd8b Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-12 13:04:14 -0700
• fd5bd05f01 golf, added dim_eq_bot_iff leopoldmayer 2023-06-12 13:03:35 -0700
• 5854c496fe
  Merge pull request #24 from GTBarkley/grant GTBarkley 2023-06-12 11:03:07 -0700
• cdf8cc5e99 stated some equivalences for bounding krull dim GTBarkley 2023-06-12 18:02:03 +0000
• 7a189c7b1d Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-12 10:50:59 -0700
• 71277adf77
  Merge pull request #23 from GTBarkley/namefolder GTBarkley 2023-06-12 10:47:47 -0700
• 64070acb5c renamed comm_alg folder so imports work GTBarkley 2023-06-12 17:47:09 +0000
• c5a522392c renamed comm_alg folder so imports work GTBarkley 2023-06-12 17:44:27 +0000
• 8e7ddca721 created a new file Sameer Savkar 2023-06-12 10:34:51 -0700
• 79f9589005 Merge branch 'main' of github.com:GTBarkley/comm_alg into main leopoldmayer 2023-06-12 10:23:22 -0700
• 6b46181b72 found a bunch of good finite-type algebra lemmas leopoldmayer 2023-06-12 10:22:57 -0700
• 3fac57ad02
  Merge pull request #21 from GTBarkley/jayden Jidong Wang 2023-06-12 10:14:26 -0700
• 3b13474cec add lemmas poincare-duality 2023-06-12 10:13:44 -0700
• d9f67a1075
  Merge pull request #20 from GTBarkley/leo GTBarkley 2023-06-12 09:52:21 -0700
• 6d4b9b0f60 updated krull_dim name, addd krullDim_le_iff leopoldmayer 2023-06-12 09:49:40 -0700
• a157174c65
  Merge pull request #19 from GTBarkley/sayantan Sayantan Santra 2023-06-12 01:36:53 -0500
• 9bac6f9aad
  
  new: Added some more theorems about ses SinTan1729 2023-06-11 23:30:10 -0700
• 45c58bf041
  Merge pull request #18 from GTBarkley/Jayden Jidong Wang 2023-06-11 21:42:33 -0700
• 16b933aeac just the statement poincare-duality 2023-06-11 21:41:21 -0700
• 120ea6f876
  Merge pull request #17 from GTBarkley/sayantan Sayantan Santra 2023-06-11 23:19:30 -0500
• 41922be785
  
  new: Added some definitions about short exact sequences SinTan1729 2023-06-11 21:18:21 -0700