Theorem mem_residual_iff

Modification history