Theorem Preorder.restrictLe_apply

Modification history