Theorem closure_eq_iff_isClosed

Modification history