Just to emphasize one point from above: unless lazy loading happens in .pyi files, type checkers won't know about those functions. See:

https://scientific-python.org/specs/spec-0001/#type-checkers

Originally posted in #11780 (comment)

I wanted to separate this from #11780, I think @drammock might give it a shot?