michael/Spectral
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

initiating graded.hlean

Browse source
This commit is contained in:
Egbert Rijke 2016-03-24 14:24:47 -04:00
parent 0b1fbbe3e1
commit 960e7075bd
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
algebra/graded.hlean Normal file
View file

@ -0,0 +1,7 @@
/-
Copyright (c) 2016 Egbert Rijke. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Egbert Rijke
Graded modules and rings.
-/