Theorem Finset.Ioc_eq_filter_powerset

Modification history