Text this: Lim's theorems for multivalued mappings in CAT(0) spaces

 _    _    _    _     _____      ___      _  __  
| || | || | || | ||  / ____||   / _ \\   | |/ // 
| || | || | || | || / //---`'  | / \ ||  | ' //  
| \\_/ || | \\_/ || \ \\___    | \_/ ||  | . \\  
 \____//   \____//   \_____||   \___//   |_|\_\\ 
  `---`     `---`     `----`    `---`    `-` --`