Theorem Set.nontrivial_of_nontrivial_coe

Modification history