Theorem IsOrderRightAdjoint.orderIso_comp

Modification history