Skip to content

Commit

Permalink
feat: port CategoryTheory.LiftingProperties.Adjunction
Browse files Browse the repository at this point in the history
  • Loading branch information
@mattrobball
mattrobball committed Feb 17, 2023
1 parent 68e722a commit 12c4a61
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 12c4a61

Please sign in to comment.