diff --git a/CommAlg.lean b/CommAlg.lean index 6d1a3cc..ab7e3a6 100644 --- a/CommAlg.lean +++ b/CommAlg.lean @@ -1,3 +1,5 @@ import Mathlib -def hello := "world" \ No newline at end of file +def hello := "world" + +#print "hi" \ No newline at end of file