[Merged by Bors] - feat: add some convenience lemmas for spectrum and inv
#33103
The logs for this run have expired and are no longer available.
Loading
spectrum and inv
#33103