Theorem Preorder.frestrictLe₂_comp_frestrictLe

Modification history