Skip to content

Remove kth-x lemma - #1242

Open
Hillosanation wants to merge 1 commit into
plfa:devfrom
Hillosanation:kth-x
Open

Remove kth-x lemma#1242
Hillosanation wants to merge 1 commit into
plfa:devfrom
Hillosanation:kth-x

Remove kth-x lemma

3dd26b7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs