A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool