Theorem Preorder.restrictLe₂_comp_restrictLe

Modification history