copilot-theorem 3.1

2 Reverse deps Accepted versions
copilot >=3.1 && <3.2
copilot-language >=3.1 && <3.2