Theorem Preorder.restrictLe₂_comp_restrictLe₂

Modification history