Skip to content

[Merged by Bors] - chore(Algebra): shorten proofs where intermediate steps are not necessary #287340

[Merged by Bors] - chore(Algebra): shorten proofs where intermediate steps are not necessary

[Merged by Bors] - chore(Algebra): shorten proofs where intermediate steps are not necessary #287340

Annotations

1 warning

ci (fork)  /  Post-CI job

succeeded Apr 10, 2026 in 4s