Def CategoryTheory.Ran.adjunction

Modification history