Theorem IsOrderRightAdjoint.right_mono

Modification history