Theorem Preorder.frestrictLe₂_apply

Modification history