:Category:Mathematical theorems in theoretical computer science