Theorem is_empty_sigma

Modification history