Theorem Set.nontrivial_coe_sort

Modification history