Theorem Finset.inl_mem_sumLift₂

Modification history