いい感じに和訳して欲しい数学用語

[0001 １３２人目の素数さん 2022/05/27(金) 20:25:13.15 ID:GTMvS2Vr]

coordinate-free

[0112 １３２人目の素数さん 2024/04/29(月) 12:34:53.95 ID:or3lrBic]

Erschopfungsfunktion

[0113 １３２人目の素数さん 2024/04/30(火) 07:20:08.63 ID:dbyjbpZp]

exhaustion function

[0114 １３２人目の素数さん 2024/04/30(火) 08:30:12.68 ID:dbyjbpZp]

si et seulement si

[0115 １３２人目の素数さん 2024/04/30(火) 11:42:11.67 ID:dZrmuZxS]

\iff

[0116 １３２人目の素数さん 2024/04/30(火) 21:15:47.91 ID:dbyjbpZp]

geodesic ray