Theorem Dense.open_subset_closure_inter

Modification history