Skip to content

Commit

Permalink
Merge pull request #1457 from nmvdw/univalence-slices
Browse files Browse the repository at this point in the history 
Univalence of slices
  • Loading branch information
@benediktahrens
benediktahrens authored Feb 14, 2022
2 parents 6679488 + 433c860 commit 857dc18
Show file tree
Hide file tree
Showing 6 changed files with 786 additions and 27 deletions.
Loading

0 comments on commit 857dc18

Please sign in to comment.