Theorem Finset.Equiv.Finset.union_symm_inl

Modification history