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