Theorem frontier_eq_closure_inter_closure

Modification history