Theorem Finset.Iic_union_Ioc_eq_Iic

Modification history