Theorem isGδ_empty

Modification history