Update src/foundation/propositional-extensionality.lagda.md

UniMath · Jan 30, 2024 · b22da4a · b22da4a
1 parent 541ed7d
commit b22da4a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/foundation/propositional-extensionality.lagda.md b/src/foundation/propositional-extensionality.lagda.md
@@ -118,7 +118,6 @@ pr2 (Prop-Set l) = is-set-type-Prop
 
 ### The canonical type family over `Prop` is univalent
 
-
 ```agda
 is-univalent-type-Prop : {l : Level} → is-univalent (type-Prop {l})
 is-univalent-type-Prop {l} P =