Theorem Set.isEmpty_coe_sort

Modification history