typo

HoTT · Apr 15, 2024 · 095817a · 095817a
1 parent ece8fa6
commit 095817a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/Spaces/List.v b/theories/Spaces/List.v
@@ -73,7 +73,7 @@ Defined.
 
 (** ** Path spaces of lists *)
 
-(** This proof was adapted from a proof givaen in agda/cubical by Evan Cavallo. *)
+(** This proof was adapted from a proof given in agda/cubical by Evan Cavallo. *)
 
 Section PathList.
   Context {A : Type}.