Theorem Finset.restrict₂_preimage

Modification history