@misc{indiciae7bcfb6f67fed, title = {A Nonpositive Curvature Property of Modular Semilattices}, author = {Hiroshi Hirai}, year = {2019}, url = {https://arxiv.org/abs/1905.01449}, note = {Source identifier: 1905.01449} }