Theorem Set.singleton_mul

Modification history