Theorem Finset.restrict_preimage

Modification history