Skip to content

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

Closed
MatthewDaggitt wants to merge 2 commits into
masterfrom
permutation-cast
Closed

Some preparatory proofs for proving sorting+permutation is equality#2724
MatthewDaggitt wants to merge 2 commits into
masterfrom
permutation-cast

Fixed whitespace

3720a37
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar