Theorem Set.restrict₂_comp_restrict₂

Modification history