From: Matthias Maier Date: Tue, 4 Jul 2023 19:00:07 +0000 (+0000) Subject: Merge pull request #15637 from bangerth/vsv-concept X-Git-Tag: relicensing~752 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2c1e4a44784f2dd693a63ad4c3c2b2f1fdda9a9f;p=dealii.git Merge pull request #15637 from bangerth/vsv-concept Create a vector space vector concept. --- 2c1e4a44784f2dd693a63ad4c3c2b2f1fdda9a9f