Skip to content

Some preparatory proofs for proving sorting+permutation is equality #2724 #2725

Merged
MatthewDaggitt merged 7 commits into
masterfrom
sorting-perm-equality
Jun 25, 2025
Merged

Some preparatory proofs for proving sorting+permutation is equality #2724 #2725
MatthewDaggitt merged 7 commits into
masterfrom
sorting-perm-equality

fix: `2+` pattern plus `onIndices-lookup` in `CHANGELOG`

3e544a7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar