Alternating bundles and analytic descent: the paper and its Lean 4 / Mathlib formalization
Lean Updated about 1 month ago 1 commits
zenith-bot|Mirror: Deicyde/alternating-analytic-characteristic-p (⭐0)
about 1 month agoAbout
Alternating bundles and analytic descent: the paper and its Lean 4 / Mathlib formalization
Readme