Theorem Finset.restrict₂_def

Modification history