{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":729604382,"defaultBranch":"master","name":"axler","ownerLogin":"arienmalec","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-09T18:51:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1158918?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1702147899.0","currentOid":""},"activityList":{"items":[{"before":"bed65f94e72401402d81d93c23c58192776b1452","after":"649a06238c806d71f42dc7c19a7cce403b259f1c","ref":"refs/heads/master","pushedAt":"2024-05-28T22:50:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"upgrade Mathlib version + fix accordingly","shortMessageHtmlLink":"upgrade Mathlib version + fix accordingly"}},{"before":"d8e528210fe31706bfcd6a845c4de16f587bd3c5","after":"bed65f94e72401402d81d93c23c58192776b1452","ref":"refs/heads/master","pushedAt":"2024-05-19T15:51:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"clarify documentation","shortMessageHtmlLink":"clarify documentation"}},{"before":"86d8e1d213a2180a5493cf969e3e303e9ad72e44","after":"d8e528210fe31706bfcd6a845c4de16f587bd3c5","ref":"refs/heads/master","pushedAt":"2024-05-18T23:48:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"Proofs for ex 1.43","shortMessageHtmlLink":"Proofs for ex 1.43"}},{"before":"4ed80e4529604c4523d4c86663d33d2ebfa04397","after":"86d8e1d213a2180a5493cf969e3e303e9ad72e44","ref":"refs/heads/master","pushedAt":"2024-05-14T22:20:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"weaken type restrictions","shortMessageHtmlLink":"weaken type restrictions"}},{"before":"3d4453952aff00254352ad54f6199952176911ff","after":"4ed80e4529604c4523d4c86663d33d2ebfa04397","ref":"refs/heads/master","pushedAt":"2024-05-14T20:45:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"proof that IsComp implies existence and uniqueness of sums","shortMessageHtmlLink":"proof that IsComp implies existence and uniqueness of sums"}},{"before":"1e7aea928ada4056675d7ef22af672b4e9e0e5bf","after":"3d4453952aff00254352ad54f6199952176911ff","ref":"refs/heads/master","pushedAt":"2024-05-03T20:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"formatting","shortMessageHtmlLink":"formatting"}},{"before":"0812771d134a5689b8ec8a586d5c57a3f686c084","after":"1e7aea928ada4056675d7ef22af672b4e9e0e5bf","ref":"refs/heads/master","pushedAt":"2024-03-02T17:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"example 1.42","shortMessageHtmlLink":"example 1.42"}},{"before":"c389b6c4678dfe4eb89cb739c12548e274a0b40f","after":"0812771d134a5689b8ec8a586d5c57a3f686c084","ref":"refs/heads/master","pushedAt":"2024-03-02T00:25:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"fix proof","shortMessageHtmlLink":"fix proof"}},{"before":"d0dd50743f6481e7bf2580de7ac3ce149318279c","after":"c389b6c4678dfe4eb89cb739c12548e274a0b40f","ref":"refs/heads/master","pushedAt":"2024-03-02T00:24:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"simplified proof","shortMessageHtmlLink":"simplified proof"}},{"before":"12c7333b19a9cd3a5a278e217c8231991b6cbbcc","after":"d0dd50743f6481e7bf2580de7ac3ce149318279c","ref":"refs/heads/master","pushedAt":"2024-02-29T06:18:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"update Mathlib and proofs for subspace sums","shortMessageHtmlLink":"update Mathlib and proofs for subspace sums"}},{"before":"ec36666496dde1061d7233613239f5461ab6fd2c","after":"12c7333b19a9cd3a5a278e217c8231991b6cbbcc","ref":"refs/heads/master","pushedAt":"2024-02-28T04:16:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"docu fix","shortMessageHtmlLink":"docu fix"}},{"before":"a461cf245c65bc1c375baf8b2fafa1135c6b13d5","after":"ec36666496dde1061d7233613239f5461ab6fd2c","ref":"refs/heads/master","pushedAt":"2024-02-27T21:54:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"ex 1.37","shortMessageHtmlLink":"ex 1.37"}},{"before":"39e6a019d037bfc03463555f17e3e304438546fc","after":"a461cf245c65bc1c375baf8b2fafa1135c6b13d5","ref":"refs/heads/master","pushedAt":"2024-02-24T22:51:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"ex5","shortMessageHtmlLink":"ex5"}},{"before":"91c7fa1171a13fb824486272a5cf0fa678847721","after":"39e6a019d037bfc03463555f17e3e304438546fc","ref":"refs/heads/master","pushedAt":"2024-02-24T20:54:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"ex4 subspace proof","shortMessageHtmlLink":"ex4 subspace proof"}},{"before":"1d518a2854fc7a10aa5b2c8c9f5bbbd4c1bdcd82","after":"91c7fa1171a13fb824486272a5cf0fa678847721","ref":"refs/heads/master","pushedAt":"2024-02-24T16:48:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"ex4 part 1 & rename","shortMessageHtmlLink":"ex4 part 1 & rename"}},{"before":"700bddc2367516538901dfd503be9e5ddead7bb1","after":"1d518a2854fc7a10aa5b2c8c9f5bbbd4c1bdcd82","ref":"refs/heads/master","pushedAt":"2024-02-23T20:51:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"another lint fix","shortMessageHtmlLink":"another lint fix"}},{"before":"d2530ffae36576d7d9015437bb9596bdafc32bfd","after":"700bddc2367516538901dfd503be9e5ddead7bb1","ref":"refs/heads/master","pushedAt":"2024-02-23T20:50:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"fix markdown lints","shortMessageHtmlLink":"fix markdown lints"}},{"before":"97b62ec58a4792a6f09ee4feafeacd62909bd84c","after":"d2530ffae36576d7d9015437bb9596bdafc32bfd","ref":"refs/heads/master","pushedAt":"2024-02-23T20:37:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"more repo alternatives","shortMessageHtmlLink":"more repo alternatives"}},{"before":"df0ebc2e9902c1a22d54171b82c743cb4ac0395d","after":"97b62ec58a4792a6f09ee4feafeacd62909bd84c","ref":"refs/heads/master","pushedAt":"2024-02-23T20:34:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"Updated Readme","shortMessageHtmlLink":"Updated Readme"}},{"before":"d5efc8ea21e691c78eaa2a466db48261e29a076c","after":"df0ebc2e9902c1a22d54171b82c743cb4ac0395d","ref":"refs/heads/master","pushedAt":"2024-02-23T20:31:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"1.35 ex 2 & 3","shortMessageHtmlLink":"1.35 ex 2 & 3"}},{"before":"163e6c69eae52ac07092c8721dd80882b43aaeac","after":"d5efc8ea21e691c78eaa2a466db48261e29a076c","ref":"refs/heads/master","pushedAt":"2024-02-23T01:52:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"1C ex 1.35(1)","shortMessageHtmlLink":"1C ex 1.35(1)"}},{"before":"a92ce9a3ee41cbab185ff9226de767988a7b776c","after":"163e6c69eae52ac07092c8721dd80882b43aaeac","ref":"refs/heads/master","pushedAt":"2024-02-21T03:52:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"docu fixes","shortMessageHtmlLink":"docu fixes"}},{"before":"0d2f22954f61304eedca58a9969a6ab1676978e5","after":"a92ce9a3ee41cbab185ff9226de767988a7b776c","ref":"refs/heads/master","pushedAt":"2024-02-21T03:49:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"clarify proof","shortMessageHtmlLink":"clarify proof"}},{"before":"61ce20015b48127f45cd4ca78eaf6245043240c3","after":"0d2f22954f61304eedca58a9969a6ab1676978e5","ref":"refs/heads/master","pushedAt":"2024-02-21T03:41:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"similar fix for Fn","shortMessageHtmlLink":"similar fix for Fn"}},{"before":"fcd01be90ec220c0598073aa8988022710fca26d","after":"61ce20015b48127f45cd4ca78eaf6245043240c3","ref":"refs/heads/master","pushedAt":"2024-02-21T03:13:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"fix monoid -> group oops","shortMessageHtmlLink":"fix monoid -> group oops"}},{"before":"ecce0efbf5c22b8bd6db57b1bc3457c2cf33aed4","after":"fcd01be90ec220c0598073aa8988022710fca26d","ref":"refs/heads/master","pushedAt":"2024-02-20T16:43:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"naming conventions","shortMessageHtmlLink":"naming conventions"}},{"before":"5073f932b88ee04b7d7be5d973eb39c8272f1df1","after":"ecce0efbf5c22b8bd6db57b1bc3457c2cf33aed4","ref":"refs/heads/master","pushedAt":"2024-02-20T16:43:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"pass lints","shortMessageHtmlLink":"pass lints"}},{"before":"7926c9158d62a2479e4390280c0ebf18851d4ec9","after":"5073f932b88ee04b7d7be5d973eb39c8272f1df1","ref":"refs/heads/master","pushedAt":"2024-02-20T16:42:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"more documentation","shortMessageHtmlLink":"more documentation"}},{"before":"b406ab02116f6731dea19ceea46b0424867f258d","after":"7926c9158d62a2479e4390280c0ebf18851d4ec9","ref":"refs/heads/master","pushedAt":"2024-02-20T16:31:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"complexify as tensor product","shortMessageHtmlLink":"complexify as tensor product"}},{"before":"8e994c2a77e4da2ccec544a067f92377330a7f1c","after":"b406ab02116f6731dea19ceea46b0424867f258d","ref":"refs/heads/master","pushedAt":"2024-02-17T06:39:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arienmalec","name":null,"path":"/arienmalec","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1158918?s=80&v=4"},"commit":{"message":"Added brute force proof for Ex 8","shortMessageHtmlLink":"Added brute force proof for Ex 8"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yOFQyMjo1MDoyNy4wMDAwMDBazwAAAARWWTcV","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0xN1QwNjozOTo1NS4wMDAwMDBazwAAAAP9Mcf7"}},"title":"Activity · arienmalec/axler"}