Theorem is_empty_ulift

Modification history