We found one dictionary that defines the word cut-insertion theorem:
General (1 matching dictionary)
General (1 matching dictionary)
- Cut-insertion theorem: Wikipedia, the Free Encyclopedia