More progress - SemanticDiff

Commit

3 years ago

More progress

References

#17975 - feat(topology/uniform_space/ascoli): general Arzela-Ascoli theorem

#18009 - feat(topology/uniform_space/uniform_convergence_topology): `𝔖`-convergence depends only on the bornology generated by `𝔖`

#18017 - feat(topology/uniform_space/uniform_convergence_topology): prove completeness

Author

ADedecker

ADedecker

Parents

Loading