Theorem Finset.set_biInter_coe

Modification history