sage

81295586 - src/sage/misc/lazy_attribute.pyi: New