Theorem Finset.preimage_inl

Modification history