Skip to content

refactor: functoriality of the adjoints, again

e32b4fc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

[ add ] properties of Relation.Unary adjoints #2866

refactor: functoriality of the adjoints, again
e32b4fc
Select commit
Loading
Failed to load commit list.