A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
Primary LanguageLeanApache License 2.0Apache-2.0