Theorem Finset.Ioi_nonempty

Modification history