Add SetTheory.Set.mem_insert and mark it as simp#267

gaearon wants to merge 2 commits intoteorth:mainteorth/analysis:mainfrom

gaearon:patch-7gaearon/analysis-solutions:patch-7Copy head branch name to clipboard