Theorem nonempty_sigma

Modification history