Commit 2018-10-02 22:17 fff12f58

chore(analysis/topology): remove duplicate theorems interior_compl_eq and closure_compl_eq (as discovered by @kckennylau)

modified theorem closure_compl

deleted theorem closure_compl_eq

modified theorem interior_compl