Theorem Finset.Finset.coe_toList

Modification history