Def adjunction.adjoint_op_of_adjoint_unop

Modification history