Your English writing platform
Discover LudwigSuggestions(1)
Exact(51)
Lemma 3.1 Let X be a complete CAT ( 0 ) space.
Let be a complete CAT space, and let be a nonempty closed convex subset of.
Let X be a complete CAT ( 1 ) space and p ∈ X.
Let X be a complete CAT ( 1 ) space and { x n } a sequence in X.
Let X be a complete CAT ( 1 ) space and C ⊂ X nonempty closed and π-convex.
Let X be a complete CAT ( 0 ) space, K be a nonempty closed convex subset of X.
Similar(9)
Lemma 3.2 Let X be a complete CAT 0) space.
Let X be a complete CAT 0) space.
Let E be a complete CAT 0) space.
Let be a complete CAT 0) space and a subset of.
Let X be a complete CAT 0) space with the property (mathcal{N}).
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com