THEOREM

Proposition in maths or logic (7)

Solution has appeared in 1 crosswords (0 across and 1 down):