Loading paper
Finite functorial semi-norms and representability | Tomesphere