Theorem Set.subsingleton_coe

Modification history