Theorem IsOrderRightAdjoint.comp_orderIso

Modification history