Update src/analysis/locally_convex/with_seminorms.lean

Commit

2 years ago

Update src/analysis/locally_convex/with_seminorms.lean Co-authored-by: Moritz Doll <moritz.doll@googlemail.com>

References

Author

ADedecker

Parents

mathlib 5da63a98 - Update src/analysis/locally_convex/with_seminorms.lean