Theorem Finset.Ioi_eq_Ioc

Modification history