Theorem Fintype.coe_finsetEquivSet

Modification history