Lebesgue · d2965642a8f0feda7a8a3e84b86a1a0158af8122 · Micaela Mayero / Numerical Analysis in Coq · GitLab

Snippets Groups Projects

Compare History

rename variables

Houda Mouhcine authored 8 months ago

0f4afc0d

Name	Last commit	Last update
..
NEW
bochner_integral
FinBij.v
Function.v
LF_subcover.ml
LF_subcover.v
LInt.v
LInt_calc.v
LInt_p.v
Mp.v
R_compl.v
Rbar_compl.v
Subset.txt
Subset.v
Subset_FU_DU.txt
Subset_any.v
Subset_charac.v
Subset_dec.v
Subset_finite.txt
Subset_finite.v
Subset_lim.txt
Subset_seq.txt
Subset_seq.v
Subset_system.txt
Subset_system.v
Subset_system_base.v
Subset_system_def.v
Subset_system_gen.v
Subset_system_prosp.v
TODO
Tonelli.v
UniformSpace_compl.v
countable_sets.v
list_compl.v
logic_compl.v
measurable_fun.v
measurable_fun_new.v
measure.v
measure_R.v
measure_R_compl.v
measure_R_uniq_compl.v
measure_Radon.v
nat_compl.v
sigma_algebra.v
sigma_algebra_R_Rbar.v
simple_fun.v
sort_compl.v
subset_compl.v
sum_Rbar_nonneg.v
topo_bases_R.v