Skip to content
Snippets Groups Projects
Commit 8773ed75 authored by François Clément's avatar François Clément
Browse files

Add new file Set_fun.v.

parent a502ec94
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
Lebesgue/_CoqProject
+ 1
− 0
View file @ 8773ed75
......@@ -27,6 +27,7 @@ Set_theory/Set_def_seq.v
Set_theory/Set_def_fun_seq.v
Set_theory/Set_def.v
Set_theory/Set_fun.v
Set_theory/Set_base.v
Set_theory/Set_any.v
Set_theory/Set_finite.v
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment