Stafford 3.8

Source: url:https://github.com/itpplasma/stafford38-formal Authors: Christopher Albert Status: verified Main declarations: Stafford38.universalStatement Tags: weyl-algebras, noncommutative-algebra, bernstein-degree MSC: 16S32