src/sage/misc/lazy_attribute.pyi: Add comment

Matthias Koeppe · Matthias Koeppe · commit 8281d2e26cce · 2023-10-23T08:07:59.000-07:00
diff --git a/src/sage/misc/lazy_attribute.pyi b/src/sage/misc/lazy_attribute.pyi
@@ -1 +1,3 @@
+# This type-stub file helps pyright understand the decorator @lazy_attribute.
+
 lazy_attribute = property

Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
	`1`	`+# This type-stub file helps pyright understand the decorator @lazy_attribute.`
	`2`	`+`
`1`	`3`	`lazy_attribute = property`