Theorem IsClosed.isGδ

Modification history