Theorem Fintype.coe_finsetOrderIsoSet

Modification history