src/sage/misc/lazy_attribute.pyi: Proper type stub for lazy_attribute

Author: Matthias Koeppe

src/sage/misc/lazy_attribute.pyi

@@ -1,3 +1,9 @@
 # This type-stub file helps pyright understand the decorator @lazy_attribute.
 
-lazy_attribute = property
+# Adapted from https://github.com/python/typeshed/blob/b9640005eb586afdbe0a57bac2b88a7a12465069/stdlib/builtins.pyi#L1237-L1254
+class lazy_attribute:
+    def __init__(
+        self,
+        f: Callable[[Any], Any] | None = ...
+    ) -> None: ...
+    def __get__(self, a: Any, cls: type) -> Any: ...