Theorem Finset.inr_mem_sumLift₂

Modification history