Skip to content

Commit

Permalink
improve and generalize injectivity of mathematical structures, with c…
Browse files Browse the repository at this point in the history 
…riteria by injectivity of Sigma types
  • Loading branch information
@martinescardo
martinescardo committed Sep 7, 2023
1 parent d29baf9 commit c3eb8ca
Show file tree
Hide file tree
Showing 4 changed files with 750 additions and 267 deletions.
Loading

0 comments on commit c3eb8ca

Please sign in to comment.