Theorem Finset.subtype_Ioo_eq

Modification history