Commit 2023-11-13 11:26 c2896788

View on Github →

feat: in finite dimensions, if a linear endomorphism is triangularizable, so is its restriction to any invariant submodule (#8212)

Estimated changes