Theorem Finset.coe_erase

Modification history