Commit 2021-11-25 18:25 ee71ddfe
View on Github →feat(ring_theory/graded_algebra): definition of type class graded_algebra (#10115)
This is largely written by @eric-wieser. Thank you.
feat(ring_theory/graded_algebra): definition of type class graded_algebra (#10115)
This is largely written by @eric-wieser. Thank you.