Added a couple of lemmas to shorten proofs for convergence in types of class real_normed_vector.
Description
Description
Details
Details
- Provenance
Jonathan Julian Huerta y Munive <jonjulian23@gmail.com> Authored on - Parents
- rAFPe0ffeae3b9c3: Fix inaccurate word choice.
- Branches
- Unknown
- Tags