ascoli): general Arzela-Ascoli theorem
#17975

Open

Commits

Initial commit

ADedecker committed 3 years ago
Working version!

ADedecker committed 3 years ago
Remove old

ADedecker committed 3 years ago
Only consider things in the union

ADedecker committed 3 years ago
Change hyp

ADedecker committed 3 years ago
Begin

ADedecker committed 3 years ago
Some progress and experiments

ADedecker committed 3 years ago
Initial commit

ADedecker committed 3 years ago
First part done

ADedecker committed 3 years ago
Initial commit

ADedecker committed 3 years ago
More progress

ADedecker committed 3 years ago
Done?

ADedecker committed 3 years ago
Done?

ADedecker committed 3 years ago
Fix

ADedecker committed 3 years ago
Main lemma done

ADedecker committed 3 years ago
Need merge

ADedecker committed 3 years ago
Merge branch 'AD_uniform_convergence_generated_bornology' into AD_uniform_convergence_complete

ADedecker committed 3 years ago
Done!

ADedecker committed 3 years ago
Merge branch 'AD_uniform_convergence_complete' into AD_Ascoli

ADedecker committed 3 years ago