Theorem Finset.coe_wcovby_coe

Modification history