with_seminorms): use abbreviations to allow for dot notation (#12846)

Commit

3 years ago

refactor(analysis/locally_convex/with_seminorms): use abbreviations to allow for dot notation (#12846)

Author

mcdoll

Parents