Add copyright notices to all files
Opened this issue · 0 comments
kbuzzard commented
In mathlib they look like this:
/-
Copyright (c) 2017 Kevin Buzzard. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Kevin Buzzard, Mario Carneiro
-/