Non-archimedean Metrizations of Developable Spaces

• 可展空间的非阿基米德度量化