tidying up

jamesmckinna · jamesmckinna · commit 3cea0ee7c885 · 2022-10-26T20:22:05.000+01:00
diff --git a/src/Data/Parity/Properties.agda b/src/Data/Parity/Properties.agda
@@ -476,6 +476,3 @@ toSign-isGroupIsomorphism = record
   }
 
 
-------------------------------------------------------------------------
--- relating Nat and Parity
-

Original file line number	Diff line number	Diff line change
`@@ -476,6 +476,3 @@ toSign-isGroupIsomorphism = record`
`476`	`476`	`}`
`477`	`477`
`478`	`478`
`479`		`-------------------------------------------------------------------------`
`480`		`--- relating Nat and Parity`
`481`		`-`