GitHub - johoelzl/mason-stother: Lean formalization of the Mason-Stother theorem

johoelzl / mason-stother Public

Lean formalization of the Mason-Stother theorem

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 128 Commits
.vscode		.vscode
.gitignore		.gitignore
Sup_fin.lean		Sup_fin.lean
algebraically_closed_field.lean		algebraically_closed_field.lean
associated_quotient.lean		associated_quotient.lean
auxiliary.lean		auxiliary.lean
cleaning.txt		cleaning.txt
codeSnippitsReport.lean		codeSnippitsReport.lean
euclidean_domain.lean		euclidean_domain.lean
geknipte tekst		geknipte tekst
leanpkg.toml		leanpkg.toml
mason_stother.lean		mason_stother.lean
mason_stothers_v2.lean		mason_stothers_v2.lean
poly.lean		poly.lean
poly_derivative.lean		poly_derivative.lean
poly_over_UFD.lean		poly_over_UFD.lean
poly_over_field.lean		poly_over_field.lean
poly_over_integral_domain.lean		poly_over_integral_domain.lean
to_comm_semiring.lean		to_comm_semiring.lean
to_field.lean		to_field.lean
to_finset.lean		to_finset.lean
to_finsupp.lean		to_finsupp.lean
to_integral_domain.lean		to_integral_domain.lean
to_multiset.lean		to_multiset.lean
to_semiring.lean		to_semiring.lean
unique_factorization_domain.lean		unique_factorization_domain.lean
unused_lemmas.lean		unused_lemmas.lean