Skip to content

Update Properties.agda: restored renaming from master

824b744
Select commit
Loading
Failed to load commit list.
Merged

Refactor some lookup and truncation lemmas #2101

Update Properties.agda: restored renaming from master
824b744
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs