Theorem Finset.subtype_Ioc_eq

Modification history