Theorem Finset.restrict₂_comp_restrict

Modification history