Skip to content

Add 09GY lemma to AlgebraicClosure.lean#4

Open
su00000 wants to merge 13 commits intomasterfrom
add-09GY
Open

Add 09GY lemma to AlgebraicClosure.lean#4
su00000 wants to merge 13 commits intomasterfrom
add-09GY

Commits

Commits on Aug 23, 2024

Commits on Aug 27, 2024

Commits on Aug 28, 2024