Theorem Finset.coe_infs

Modification history