Theorem residual_of_dense_Gδ

Modification history