Theorem residual_of_dense_open

Modification history