Theorem Finset.coe_Ioc

Modification history