Theorem Set.restrict₂_comp_restrict

Modification history