Theorem closure_eq_self_union_frontier

Modification history