Skip to content

Commit

Permalink
REMOVE: undo whitespace changes
Browse files Browse the repository at this point in the history 
Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: b25422a6-cbd9-48de-9a95-8c823cd2cb14 -->
  • Loading branch information
@Alizter
Alizter committed Mar 6, 2024
1 parent 54280f8 commit 3897de8
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion theories/Basics.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,3 @@ Require Export Basics.Tactics.

Require Export Basics.Nat.
Require Export Basics.Numeral.

0 comments on commit 3897de8

Please sign in to comment.