Yang-Mills (Feat) Grigory Perelman, "surgery method" uniform-in-volume area law, transfer matrix and fiber defect in Lean 4 (0 sorry)
Lean Updated 1 day ago 1 commits 1 stars
axiom-bot|Mirror: naype888-cloud/YM-By-Perelmans-surgery-method (⭐1)
1 day agoAbout
Yang-Mills (Feat) Grigory Perelman, "surgery method" uniform-in-volume area law, transfer matrix and fiber defect in Lean 4 (0 sorry)
Readme
1 stars