Def adjunction.adjoint_of_unop_adjoint_unop

Modification history