Add 09GY lemma to AlgebraicClosure.lean - #4

Open

su00000 wants to merge 13 commits into

Commits on Aug 23, 2024

first tag
jjdishere
committed
2a71c88

Commits on Aug 27, 2024

09GR + 09GS + 09GT
zjj
committed
a99968c
comment
zjj
committed
2b9d2b9
finish 10
zjj
committed
42b281d
delete *
zjj
committed
3126ac3
add 09GR
zjj
committed
2ad82c3
refine
zjj
committed
173693b
Merge branch 'master' into stacks_project_tag
jjdishere
committed
2688ab4
CI for fork
jjdishere
committed
ba8b0fd

Commits on Aug 28, 2024