isNormedSpace

URI: https://gptkb.org/prop/isNormedSpace
5 triples
GPTKB property
Random triples
Subject Object
gptkb:l^1_space true
gptkb:real_line_R true
gptkb:Euclidean_n-space yes
gptkb:L^1_space true
gptkb:L^∞(ℝ^n) true