Theorem Finset.coe_Ioi

Modification history