copilot-theorem 2.2.1

2 Reverse deps Accepted versions
copilot >=2.2.1
copilot-language >=2.1