feat(python): add missing width property to LazyFrame

[alexander-beedie]

Brings in-line with DataFrame (spotted while starting another pass through the docs).

import polars as pl
df = pl.DataFrame({"foo": [1, 2, 3], "bar": [4, 5, 6]})

df.width
2

df.lazy().width
2

[ritchie46]

Thanks! Can you add a docs entry? ;)

[alexander-beedie]

Thanks! Can you add a docs entry? ;)

Lol... already had in the larger PR - incoming! (It's the follow-up to the previous one containing Series/Expr structural/nav improvements (#5376), this time doing the same for DataFrame and LazyFrame. That should be ready to roll in another 15-30 mins or so).

[alexander-beedie]

@ritchie46: width added to the docs here now - going to try and do some more with the Sphinx update, so that'll come tomorrow now - never enough hours in the day... :)

[ritchie46]

@ritchie46: width added to the docs here now - going to try and do some more with the Sphinx update, so that'll come tomorrow now - never enough hours in the day... :)

I know! :)