Theorem Finset.inl_mem_sumLexLift

Modification history