Theorem Preorder.restrictLe₂_apply

Modification history