Def IsOrderRightAdjoint

Modification history