Merge pull request #221 from AdaWorldAPI/claude/jirak-math-theorems-h… #574

Job	Run time
Pass MSRV values to other jobs	3s
nightly-simd-polyfill	39s
native-backend/stable	7m 50s
hpc-stream-parallel/rayon	1m 21s
cargo-careful	35s
docs/nightly	52s
format/stable	15s
miri	1m 4s
clippy/1.95.0	44s
tier4-avx512-check	29s
nostd/thumbv6m-none-eabi/stable	28s
cross_test/${{ matrix.target }}/${{ matrix.rust }}	0s
blas-msrv	50s
tests/1.95.0	11m 4s
tests/stable	11m 22s
tests/beta	11m 44s
conclusion	0s
	49m 20s

Provide feedback