sage

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