Def adjunction.right_adjoint_uniq

Modification history