Theorem Preorder.frestrictLe₂_comp_frestrictLe₂

Modification history