Skip to content
Backport

fix: Rename theorems that use sorted instead of pairwise #14430

Sign in to view logs

fix: Rename theorems that use sorted instead of pairwise

fix: Rename theorems that use sorted instead of pairwise #14430

Triggered via pull request October 30, 2025 16:30
@TwoFXTwoFX
closed #10743
Status Success
Total duration 6s
Artifacts –

backport.yml

on: pull_request_target
Backport
2s
Backport
Fit to window
Zoom out
Zoom in