Theorem Finset.sigma_preimage_mk

Modification history