mirror of
https://github.com/GTBarkley/comm_alg.git
synced 2024-12-27 16:08:37 -06:00
13 commits
Author | SHA1 | Date | |
---|---|---|---|
|
fc6fac87a2 | ||
|
8eff058565 | ||
|
37d8991879 | ||
|
40e26d8636 | ||
|
999659039d | ||
|
5485c26849 | ||
|
4d2aeea2c2 | ||
|
55ea06c141 | ||
|
eb01e5506a | ||
|
5cb0f77d2f | ||
|
bb2071a61e | ||
|
58450c56be | ||
|
64070acb5c |
Renamed from comm_alg/jayden(krull-dim-zero).lean (Browse further)