Theorem isGδ_univ

Modification history