Theorem isEmpty_ulift

Modification history