\(K\)-Euler's inequality in Aleksandrov's \(\mathrm{CAT}(K)\) space (Q1685527)

From MaRDI portal