Skip to content

Update graded.lean

Update graded.lean #11