Theorem Set.empty_mul

Modification history