Theorem Set.empty_sigma

Modification history