Theorem Finset.coe_covBy_coe

Modification history