Theorem isEmpty_fun

Modification history