3 ms·The notion of "space with mean" from that paper seems to be of independent interest; nice.by ykonstant 2y agoThe notion of "space with mean" from that paper seems to be of independent interest; nice.