Rename 'standard prelude' to 'standard library' in Negation.lagda.md for consistency (#1084)

rwnobrega · web-flow · commit 2400b730cd52 · 2025-01-23T11:52:21.000Z
diff --git a/src/plfa/part1/Negation.lagda.md b/src/plfa/part1/Negation.lagda.md
@@ -397,7 +397,7 @@ of two stable formulas is stable.
 -- Your code goes here
 ```
 
-## Standard Prelude
+## Standard library
 
 Definitions similar to those in this chapter can be found in the standard library:
 ```agda
